Modular verification of Petri Nets
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 180-207
- https://doi.org/10.1007/3-540-52559-9_65
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Specifying distributed computer architectures in AADLParallel Computing, 1989
- Modelchecking of CTL formulae under liveness assumptionsPublished by Springer Nature ,1987
- Decision procedures and expressiveness in the temporal logic of branching timeJournal of Computer and System Sciences, 1985
- In Transition From Global to Modular Temporal Reasoning about ProgramsPublished by Springer Nature ,1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Proofs of Networks of ProcessesIEEE Transactions on Software Engineering, 1981