A brief history of Timed CSP
- 20 February 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 138 (2) , 243-271
- https://doi.org/10.1016/0304-3975(94)00169-j
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Process Algebra for Timed SystemsInformation and Computation, 1995
- Recursion induction for real-time processesFormal Aspects of Computing, 1993
- Real time process algebraFormal Aspects of Computing, 1991
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Communicating sequential processesCommunications of the ACM, 1978