Concurrent transition systems
- 29 May 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 64 (3) , 221-269
- https://doi.org/10.1016/0304-3975(89)90050-9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A fixpoint semantics for nondeterministic data flowJournal of the ACM, 1985
- Functional behavior of nondeterministic and concurrent programsInformation and Control, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Port automata and the algebra of concurrent processesJournal of Computer and System Sciences, 1983
- An algebraic description of system behavioursTheoretical Computer Science, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Behaviours of concurrent systemsTheoretical Computer Science, 1980
- Minimal and Optimal Computations of Recursive ProgramsJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Formal verification of parallel programsCommunications of the ACM, 1976