Model construction for implicit specifications in modal logic
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 247-261
- https://doi.org/10.1007/3-540-57208-2_18
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Factorization of finite state machines under observational equivalencePublished by Springer Nature ,2005
- Equation solving using modal transition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Three logics for branching bisimulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compositionality Through an Operational Semantics of ContextsJournal of Logic and Computation, 1991
- On the complexity of equation solving in process algebraPublished by Springer Nature ,1991
- Submodule construction as equation solving in CCSTheoretical Computer Science, 1989
- Characteristic formulaePublished by Springer Nature ,1989
- Implicit System Specification and the Interface EquationThe Computer Journal, 1989
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984