Formal specification methods for reactive systems
- 31 May 1993
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 21 (2) , 129-139
- https://doi.org/10.1016/0164-1212(93)90036-w
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Linda in contextCommunications of the ACM, 1989
- A comparison of techniques for the specification of external system behaviorCommunications of the ACM, 1988
- Rationale and tutorial on OSDL: An object-oriented extension of SDLComputer Networks and ISDN Systems, 1987
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A survey of three dialogue modelsACM Transactions on Graphics, 1986
- Term rewriting as a basis for the design of a functional and parallel programming languagePublished by Springer Nature ,1986
- Algorithm = logic + controlCommunications of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975