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

Document Versions

A Framework for Formal Reasoning about Open Distributed Systems –Lars-Ake Fredlund, Dilian Gurov — 1999 — In Proc. ASIAN'99, Lecture Notes in Computer Science
A Framework for Formal Reasoning about Open Distributed Systems –Lars-Åke Fredlund, Lars-ake Fredlund, Dilian Gurov — 1999 — In Proc. ASIAN'99, Lecture Notes in Computer Science