Coalgebraic logic and synthesis of mealy machines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4962 LNCS, Issue , 2008, Pages 231-245

  Bonsangue, M M ^a,b   Rutten, Jan ^b,c   Silva, Alexandra ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATION; COALGEBRAIC; COMPUTATIONAL STRUCTURES; EUROPEAN; HEIDELBERG (CO); INTERNATIONAL (CO); MEALY MACHINES; SOFTWARE SCIENCE; SYNTHESIS ALGORITHMS;

FOUNDATIONS; FUZZY LOGIC; MATHEMATICAL TRANSFORMATIONS;

BOOLEAN FUNCTIONS;

EID: 47249118438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78499-9_17     Document Type: Conference Paper

References (15)

1. Bonsangue, M.M., Kurz, A.: Duality for logics of transition systems. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 455-469. Springer, Heidelberg (2005)
2. Bonsangue, M.M., Kurz, A.: Presenting functors by operations and equations. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 172-186. Springer, Heidelberg (2006)
3. Bonsangue, M.M., Rutten, J.J. M.M., Silva, A.: Coalgebraic Logic and Synthesis of Mealy Machines. CWI Technical report R0705 (2007)
4. Clarke, E.M., German, S.M., Lu, Y., Veith, H., Wang, D.: Executable protocol specification in esl. In: Johnson, S.D., Hunt Jr., W.A. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 197-216. Springer, Heidelberg (2000)
5. Hansen, H.H., Costa, D., Rutten, J.J.M.M.: Synthesis of mealy machines using derivatives. ENTCS 164(1), 27-45 (2006)
6. Katis, P., Sabadini, N., Walters, R.F.C.: Feedback, trace and fixed-point semantics. ITA 36(2), 181-194 (2002)
7. Kozen, D.: Results on the propositional μ-calculus. TCS 27, 333-354 (1983)
8. Kupferman, O., Vardi, M.: μ-calculus synthesis. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol. 1893, pp. 497-507. Springer, Heidelberg (2000)
9. Kupferman, O., Vardi, M., Wolper, P.: An automata-theoretic approach to branching-time model checking. J. ACM 47(2), 312-360 (2000)
10. Kupke, C., Venema, Y.: Coalgebraic automata theory: basic results. Technical Report SEN-E0701, CWI, The Netherlands (2007)
11. Marcovitz, A.B.: Introduction to Logic Design. McGraw-Hill, New York (2005)
12. Moss, L.: Coalgebraic logic. Annals of Pure and Applied Logic 96 (1999)
13. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989, pp. 179-190 (1989)
14. Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of mealy automata. ENTCS 160, 305-319 (2006)
15. Tini, S., Maggiolo-Schettini, A.: Compositional synthesis of generalized mealy machines. Fundam. Inform. 60(1-4), 367-382 (2004)