The timed failures — Stability model for CSP
- 28 January 1999
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 211 (1-2) , 85-127
- https://doi.org/10.1016/s0304-3975(98)00214-x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Probabilistic and prioritized models of timed CSPTheoretical Computer Science, 1995
- Fixed points without completenessTheoretical Computer Science, 1995
- A brief history of Timed CSPTheoretical Computer Science, 1995
- An Operational Semantics for Timed CSPInformation and Computation, 1995
- A rely and guarantee method for timed CSP: a specification and design of a telephone exchangeIEEE Transactions on Software Engineering, 1993
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- Compositional semantics for real-time distributed computingPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984