A Framework for Formal Reasoning about Open Distributed Systems (1999)

Cached

Download Links

by Lars-Ake Fredlund , Dilian Gurov
Venue:In Proc. ASIAN'99, Lecture Notes in Computer Science
Citations:4 - 3 self