Notes on Algebraic Calculi of Processes
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- On the observational semantics of fair parallelismPublished by Springer Nature ,2006
- Petri nets and algebraic calculi of processesPublished by Springer Nature ,1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesPublished by Springer Nature ,1983
- The power of synchronizing operations on stringsTheoretical Computer Science, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Formal verification of parallel programsCommunications of the ACM, 1976
- Rational sets in commutative monoidsJournal of Algebra, 1969