An action-based framework for veryfying logical and behavioural properties of concurrent systems
- 28 February 1993
- journal article
- Published by Elsevier BV in Computer Networks and ISDN Systems
- Vol. 25 (7), 761-778
- https://doi.org/10.1016/0169-7552(93)90047-8
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Proof systems for satisfiability in Hennessy-Milner Logic with recursionTheoretical Computer Science, 1990
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Results on the propositional μ-calculusTheoretical Computer Science, 1983