Compositional specification of parallel time-critical systems
- 1 January 1992
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 212-221
- https://doi.org/10.1109/iccl.1992.185485
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Configuration programming-a framework for the development of distributable systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An overview of the REX software architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experiences with gentle: Efficient compiler construction based on logic programmingPublished by Springer Nature ,1991
- The challenge of building process-control softwareIEEE Software, 1990
- Seven myths of formal methodsIEEE Software, 1990
- Specification and verification of liveness properties of cyclic, concurrent processesACM Transactions on Programming Languages and Systems, 1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987