Translations between modal logics of reactive systems
- 20 March 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 140 (1), 53-71
- https://doi.org/10.1016/0304-3975(94)00204-v
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Behavioural equivalence relations induced by programming logicsPublished by Springer Nature ,2006
- Linear and branching structures in the semantics and logics of reactive systemsPublished by Springer Nature ,2005
- Modal and Temporal LogicsPublished by Springer Nature ,1997
- Three logics for branching bisimulationJournal of the ACM, 1995
- A hierarchy of temporal logics with pastLecture Notes in Computer Science, 1994
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Observational logics and concurrency modelsLecture Notes in Computer Science, 1990
- The power of the future perfect in program logicsInformation and Control, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A modal characterisation of observable machine-behaviourLecture Notes in Computer Science, 1981