TAPAs: A Tool for the Analysis of Process Algebras
- 1 January 2008
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Bundle Event Structures and CCSPLecture Notes in Computer Science, 2003
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- A front-end generator for verification toolsLecture Notes in Computer Science, 1995
- Action versus state based logics for transition systemsLecture Notes in Computer Science, 1990
- Operational Petri net semantics for CCSPLecture Notes in Computer Science, 1987
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Results on the propositional μ-calculusTheoretical Computer Science, 1983