Structure design of distributed systems using interpreted Petri nets
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal Specification and Verification of Distributed SystemsIEEE Transactions on Software Engineering, 1983
- Proving safety and liveness of communicating processes with examplesPublished by Association for Computing Machinery (ACM) ,1982
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Communicating sequential processesCommunications of the ACM, 1978