On the design of reactive systems
- 1 September 1988
- journal article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 28 (3), 581-604
- https://doi.org/10.1007/bf01941136
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Parallel Program DesignPublished by Springer Nature ,1989
- Serializability in distributed systems with handshakingLecture Notes in Computer Science, 1988
- A new paradigm for the design of concurrent systemsACM SIGAda Ada Letters, 1987
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Defining livenessInformation Processing Letters, 1985
- Formalization in program developmentBIT Numerical Mathematics, 1982
- Communicating sequential processesCommunications of the ACM, 1978
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- ReductionCommunications of the ACM, 1975