Coalgebraic Logic and Synthesis of Mealy Machines
Authors:
- 1 January 2008
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 231-245
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Coalgebraic Automata Theory: Basic ResultsLogical Methods in Computer Science, 2008
- Coalgebraic Logic and Synthesis of Mealy MachinesLecture Notes in Computer Science, 2008
- Presenting Functors by Operations and EquationsLecture Notes in Computer Science, 2006
- Duality for Logics of Transition SystemsLecture Notes in Computer Science, 2005
- An automata-theoretic approach to branching-time model checkingJournal of the ACM, 2000
- μ-Calculus Synthesis2000
- Executable Protocol Specification in ESL2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- On the synthesis of a reactive module1989
- Results on the propositional μ-calculusTheoretical Computer Science, 1983