CCS + time = an interleaving model for real time systems
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983