The discrete time toolbus
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 286-305
- https://doi.org/10.1007/bfb0014323
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Language Prototyping: An Algebraic Specification ApproachPublished by World Scientific Pub Co Pte Ltd ,1996
- Discrete time process algebraFormal Aspects of Computing, 1996
- A simulator framework for embedded systemsPublished by Springer Nature ,1996
- The ToolBus coordination architecturePublished by Springer Nature ,1996
- The discrete time toolbusPublished by Springer Nature ,1996
- Real space process algebraFormal Aspects of Computing, 1993
- Algebraic Specification of Communication ProtocolsPublished by Cambridge University Press (CUP) ,1993
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- The syntax definition formalism SDF—reference manual—ACM SIGPLAN Notices, 1989
- Process algebra for synchronous communicationInformation and Control, 1984