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 |
| 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 |
