Using Raddle to design distributed systems
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A Methodology for Developing Distributed ProgramsIEEE Transactions on Software Engineering, 1987
- The multiway rendezvousACM Transactions on Programming Languages and Systems, 1987
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985