Process Algebra as a Tool for Real Time Analysis
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Notes on Algebraic Calculi of ProcessesPublished by Springer Nature ,1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978