Lectures on a Calculus for Communicating Systems
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980