The Concurrency Factory: A development environment for concurrent systems
- 1 January 1996
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 398-401
- https://doi.org/10.1007/3-540-61474-5_88
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Local model checking for real-time systemsLecture Notes in Computer Science, 1995
- A linear-time model-checking algorithm for the alternation-free modal mu-calculusFormal Methods in System Design, 1993
- Facile: A symmetric integration of concurrent and functional programmingInternational Journal of Parallel Programming, 1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A proposal for standard MLPublished by Association for Computing Machinery (ACM) ,1984