SODA

A framework for formal reasoning about open distributed systems

Fredlund, Lars-Åke and Gurov, Dilian (1999) A framework for formal reasoning about open distributed systems. In: Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, 10-12 Dec 1999, Phuket, Thailand.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Edited by P.S. Thiagarajan and R. Yap. Lecture Notes in Computer Science 1742, pages 87-100. Springer-Verlag.
ID Code:3213
Deposited By:INVALID USER
Deposited On:17 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page