The concurrent assignment representation of synchronous systems
- 1 January 1987
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 369-386
- https://doi.org/10.1007/3-540-17945-3_21
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- An example of stepwise refinement of distributed programs: quiescence detectionACM Transactions on Programming Languages and Systems, 1986
- Fast Algorithms for Signal Processing and Error ControlPublished by Springer Nature ,1985
- Parallel Programming and the Poker Programming EnvironmentComputer, 1984
- Parallel assignment revisitedSoftware: Practice and Experience, 1983
- The distributed programming language SR—Mechanisms, design and implementationSoftware: Practice and Experience, 1982
- Why systolic architectures?Computer, 1982
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- The Multiple Assignment StatementIEEE Transactions on Software Engineering, 1978
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Techniques for program error diagnosis on EDSAC 2The Computer Journal, 1963