Consistent graphical specification of distributed systems
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 122-141
- https://doi.org/10.1007/3-540-63533-5_7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- Graphical development of consistent system specificationsPublished by Springer Nature ,1996
- AutoFocus — A tool for distributed systems specificationPublished by Springer Nature ,1996
- HOLCF: Higher order logic of computable functionsPublished by Springer Nature ,1995
- A Functional Semantics for Delta-Delay VHDL Based on FocusPublished by Springer Nature ,1995
- Finiteness is mu-ineffableTheoretical Computer Science, 1976