Strategic directions in concurrency research
- 1 December 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 28 (4) , 607-625
- https://doi.org/10.1145/242223.242252
Abstract
No abstract availableThis publication has 55 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Thoughts on parallelism and concurrency in compiling curriculaACM Computing Surveys, 1995
- Verification of the Futurebus+ cache coherence protocolFormal Methods in System Design, 1995
- A linear-time model-checking algorithm for the alternation-free modal mu-calculusFormal Methods in System Design, 1993
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Concurrent dynamic logicJournal of the ACM, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Testing equivalences for processesTheoretical Computer Science, 1984