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

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