Observational logics and concurrency models
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 301-315
- https://doi.org/10.1007/3-540-53487-3_53
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Partial orderings descriptions and observations of nondeterministic concurrent processesLecture Notes in Computer Science, 1989
- Concurrency and atomicityTheoretical Computer Science, 1988
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- The power of the future perfect in program logicsInformation and Control, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Formal verification of parallel programsCommunications of the ACM, 1976