Frank, Florian; Milius, Stefan; Urbat, Henning Coalgebraic semantics for nominal automata. (English) Zbl 07628066 Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 45-66 (2022). MSC: 68Q65 PDF BibTeX XML Cite \textit{F. Frank} et al., Lect. Notes Comput. Sci. 13225, 45--66 (2022; Zbl 07628066) Full Text: DOI arXiv OpenURL
Bonchi, Filippo; Santamaria, Alessio Combining semilattices and semimodules. (English) Zbl 07410421 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 102-123 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{F. Bonchi} and \textit{A. Santamaria}, Lect. Notes Comput. Sci. 12650, 102--123 (2021; Zbl 07410421) Full Text: DOI arXiv OpenURL
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten A new foundation for finitary corecursion and iterative algebras. (English) Zbl 1435.68208 Inf. Comput. 271, Article ID 104456, 27 p. (2020). MSC: 68Q70 18B20 PDF BibTeX XML Cite \textit{S. Milius} et al., Inf. Comput. 271, Article ID 104456, 27 p. (2020; Zbl 1435.68208) Full Text: DOI arXiv OpenURL
Kozen, Dexter; Silva, Alexandra Left-handed completeness. (English) Zbl 1436.68202 Theor. Comput. Sci. 807, 220-233 (2020). MSC: 68Q70 PDF BibTeX XML Cite \textit{D. Kozen} and \textit{A. Silva}, Theor. Comput. Sci. 807, 220--233 (2020; Zbl 1436.68202) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Rot, Jurriaan; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio Kleene algebra with observations. (English) Zbl 07649949 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019; Zbl 07649949) Full Text: DOI arXiv OpenURL
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra Tree automata as algebras: minimisation and determinisation. (English) Zbl 07649889 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{G. van Heerdt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019; Zbl 07649889) Full Text: DOI arXiv OpenURL
Ciancia, Vincenzo; Venema, Yde \(\Omega\)-automata: a coalgebraic perspective on regular \(\omega\)-languages. (English) Zbl 07649888 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 5, 18 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{V. Ciancia} and \textit{Y. Venema}, LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 5, 18 p. (2019; Zbl 07649888) Full Text: DOI OpenURL
D’Antoni, Loris; Kincaid, Zachary; Wang, Fang A symbolic decision procedure for symbolic alternating finite automata. (English) Zbl 07513456 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 79-99 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{L. D'Antoni} et al., Electron. Notes Theor. Comput. Sci. 336, 79--99 (2018; Zbl 07513456) Full Text: DOI arXiv OpenURL
Milius, Stefan Proper functors and fixed points for finite behaviour. (English) Zbl 1448.18008 Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C20 68Q55 18C50 PDF BibTeX XML Cite \textit{S. Milius}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018; Zbl 1448.18008) Full Text: DOI arXiv OpenURL
Ghani, Neil; Kupke, Clemens; Lambert, Alasdair; Nordvall Forsberg, Fredrik A compositional treatment of iterated open games. (English) Zbl 1416.91036 Theor. Comput. Sci. 741, 48-57 (2018). MSC: 91A20 91A40 PDF BibTeX XML Cite \textit{N. Ghani} et al., Theor. Comput. Sci. 741, 48--57 (2018; Zbl 1416.91036) Full Text: DOI arXiv OpenURL
Kozen, Dexter On the coalgebraic theory of Kleene algebra with tests. (English) Zbl 1437.68125 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 279-298 (2017). MSC: 68Q70 68Q60 68Q17 PDF BibTeX XML Cite \textit{D. Kozen}, Outst. Contrib. Log. 11, 279--298 (2017; Zbl 1437.68125) Full Text: DOI OpenURL
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy Soundness and completeness proofs by coinductive methods. (English) Zbl 1409.68251 J. Autom. Reasoning 58, No. 1, 149-179 (2017). MSC: 68T15 03B10 03B35 03F03 68Q65 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., J. Autom. Reasoning 58, No. 1, 149--179 (2017; Zbl 1409.68251) Full Text: DOI Link OpenURL
Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy Friends with benefits. Implementing corecursion in foundational proof assistants. (English) Zbl 1485.68280 Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 111-140 (2017). MSC: 68V15 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., Lect. Notes Comput. Sci. 10201, 111--140 (2017; Zbl 1485.68280) Full Text: DOI OpenURL
Fernando, Tim Types from frames as finite automata. (English) Zbl 1478.68123 Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 19-40 (2016). MSC: 68Q45 03G30 68Q55 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 9804, 19--40 (2016; Zbl 1478.68123) Full Text: DOI OpenURL
Winter, Joost Product rules and distributive laws. (English) Zbl 1475.18006 Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 114-135 (2016). MSC: 18C15 PDF BibTeX XML Cite \textit{J. Winter}, Lect. Notes Comput. Sci. 9608, 114--135 (2016; Zbl 1475.18006) Full Text: DOI Link OpenURL
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten A new foundation for finitary corecursion. The locally finite fixpoint and its properties. (English) Zbl 1475.68196 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 107-125 (2016). MSC: 68Q70 18B20 PDF BibTeX XML Cite \textit{S. Milius} et al., Lect. Notes Comput. Sci. 9634, 107--125 (2016; Zbl 1475.68196) Full Text: DOI OpenURL
Kitagawa, Fuyuki; Matsuda, Takahiro; Hanaoka, Goichiro; Tanaka, Keisuke On the key dependent message security of the Fujisaki-Okamoto constructions. (English) Zbl 1388.94064 Cheng, Chen-Mou (ed.) et al., Public-key cryptography – PKC 2016. 19th IACR international conference on practice and theory in public-key cryptography, Taipei, Taiwan, March 6–9, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49383-0/pbk; 978-3-662-49384-7/ebook). Lecture Notes in Computer Science 9614, 99-129 (2016). MSC: 94A60 PDF BibTeX XML Cite \textit{F. Kitagawa} et al., Lect. Notes Comput. Sci. 9614, 99--129 (2016; Zbl 1388.94064) Full Text: DOI OpenURL
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan Proving language inclusion and equivalence by coinduction. (English) Zbl 1333.68174 Inf. Comput. 246, 62-76 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Rot} et al., Inf. Comput. 246, 62--76 (2016; Zbl 1333.68174) Full Text: DOI OpenURL
Traytel, Dmitriy; Nipkow, Tobias Verified decision procedures for MSO on words based on derivatives of regular expressions. (English) Zbl 1420.68049 J. Funct. Program. 25, Paper No. e18, 30 p. (2015). MSC: 68N18 03B25 68Q45 68T15 PDF BibTeX XML Cite \textit{D. Traytel} and \textit{T. Nipkow}, J. Funct. Program. 25, Paper No. e18, 30 p. (2015; Zbl 1420.68049) Full Text: DOI OpenURL
Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J. The dual equivalence of equations and coequations for automata. (English) Zbl 1333.68184 Inf. Comput. 244, 49-75 (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q70 18A30 18A32 PDF BibTeX XML Cite \textit{A. Ballester-Bolinches} et al., Inf. Comput. 244, 49--75 (2015; Zbl 1333.68184) Full Text: DOI OpenURL
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão Deciding Kleene algebra terms equivalence in Coq. (English) Zbl 1329.68232 J. Log. Algebr. Methods Program. 84, No. 3, 377-401 (2015). MSC: 68T15 68Q45 68Q60 PDF BibTeX XML Cite \textit{N. Moreira} et al., J. Log. Algebr. Methods Program. 84, No. 3, 377--401 (2015; Zbl 1329.68232) Full Text: DOI OpenURL
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M. Context-free coalgebras. (English) Zbl 1328.68133 J. Comput. Syst. Sci. 81, No. 5, 911-939 (2015). MSC: 68Q70 PDF BibTeX XML Cite \textit{J. Winter} et al., J. Comput. Syst. Sci. 81, No. 5, 911--939 (2015; Zbl 1328.68133) Full Text: DOI OpenURL
Ćirić, Miroslav; Ignjatović, Jelena; Bašić, Milan; Jančić, Ivana Nondeterministic automata: equivalence, bisimulations, and uniform relations. (English) Zbl 1328.68111 Inf. Sci. 261, 185-218 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Ćirić} et al., Inf. Sci. 261, 185--218 (2014; Zbl 1328.68111) Full Text: DOI arXiv OpenURL
Jacobs, Bart; Silva, Alexandra Automata learning: a categorical perspective. (English) Zbl 1407.68235 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 384-406 (2014). MSC: 68Q32 18B20 68Q45 PDF BibTeX XML Cite \textit{B. Jacobs} and \textit{A. Silva}, Lect. Notes Comput. Sci. 8464, 384--406 (2014; Zbl 1407.68235) Full Text: DOI OpenURL
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R. A description based on languages of the final non-deterministic automaton. (English) Zbl 1359.68202 Theor. Comput. Sci. 536, 1-20 (2014). MSC: 68Q70 18B20 68Q85 PDF BibTeX XML Cite \textit{A. Ballester-Bolinches} et al., Theor. Comput. Sci. 536, 1--20 (2014; Zbl 1359.68202) Full Text: DOI OpenURL
Sprunger, David Linearization of automatic arrays and weave specifications. (English) Zbl 1334.11016 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 349-365 (2013). MSC: 11B85 68Q45 PDF BibTeX XML Cite \textit{D. Sprunger}, Electron. Notes Theor. Comput. Sci. 298, 349--365 (2013; Zbl 1334.11016) Full Text: DOI OpenURL
Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric Varieties and covarieties of languages (extended abstract). (English) Zbl 1334.68139 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 7-28 (2013). MSC: 68Q70 PDF BibTeX XML Cite \textit{J. Rutten} et al., Electron. Notes Theor. Comput. Sci. 298, 7--28 (2013; Zbl 1334.68139) Full Text: DOI OpenURL
Krauss, Alexander; Nipkow, Tobias Proof Pearl: regular expression equivalence and relation algebra. (English) Zbl 1269.68090 J. Autom. Reasoning 49, No. 1, 95-106 (2012). MSC: 68T15 03G15 68Q45 PDF BibTeX XML Cite \textit{A. Krauss} and \textit{T. Nipkow}, J. Autom. Reasoning 49, No. 1, 95--106 (2012; Zbl 1269.68090) Full Text: DOI OpenURL
Kozen, Dexter; Silva, Alexandra Left-handed completeness. (English) Zbl 1364.68268 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 162-178 (2012). MSC: 68Q70 PDF BibTeX XML Cite \textit{D. Kozen} and \textit{A. Silva}, Lect. Notes Comput. Sci. 7560, 162--178 (2012; Zbl 1364.68268) Full Text: DOI OpenURL
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão Deciding regular expressions (in-)equivalence in Coq. (English) Zbl 1330.68265 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 98-113 (2012). MSC: 68T15 68Q45 68Q60 PDF BibTeX XML Cite \textit{N. Moreira} et al., Lect. Notes Comput. Sci. 7560, 98--113 (2012; Zbl 1330.68265) Full Text: DOI OpenURL
Ćirić, Miroslav; Ignjatović, Jelena; Damljanović, Nada; Bašić, Milan Bisimulations for fuzzy automata. (English) Zbl 1237.68113 Fuzzy Sets Syst. 186, No. 1, 100-139 (2012). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{M. Ćirić} et al., Fuzzy Sets Syst. 186, No. 1, 100--139 (2012; Zbl 1237.68113) Full Text: DOI arXiv OpenURL
Worthington, James A bialgebraic approach to automata and formal language theory. (English) Zbl 1241.18004 Ann. Pure Appl. Logic 163, No. 7, 745-762 (2012). Reviewer: Hartmut Ehrig (Berlin) MSC: 18B20 08A70 68Q70 PDF BibTeX XML Cite \textit{J. Worthington}, Ann. Pure Appl. Logic 163, No. 7, 745--762 (2012; Zbl 1241.18004) Full Text: DOI arXiv OpenURL
Ramyaa, Ramyaa; Leivant, Daniel Ramified corecurrence and logspace. (English) Zbl 1342.68139 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 247-261 (2011). MSC: 68Q15 PDF BibTeX XML Cite \textit{R. Ramyaa} and \textit{D. Leivant}, Electron. Notes Theor. Comput. Sci. 276, 247--261 (2011; Zbl 1342.68139) Full Text: DOI OpenURL
Balan, A.; Kurz, A. On coalgebras over algebras. (English) Zbl 1232.68089 Theor. Comput. Sci. 412, No. 38, 4989-5005 (2011). Reviewer: Juan Climent Vidal (València) MSC: 68Q65 18C15 PDF BibTeX XML Cite \textit{A. Balan} and \textit{A. Kurz}, Theor. Comput. Sci. 412, No. 38, 4989--5005 (2011; Zbl 1232.68089) Full Text: DOI OpenURL
Padawitz, Peter From grammars and automata to algebras and coalgebras. (English) Zbl 1307.68043 Winkler, Franz (ed.), Algebraic informatics. 4th international conference, CAI 2011, Linz, Austria, June 21–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21492-9/pbk). Lecture Notes in Computer Science 6742, 21-43 (2011). MSC: 68Q42 68Q45 68Q70 PDF BibTeX XML Cite \textit{P. Padawitz}, Lect. Notes Comput. Sci. 6742, 21--43 (2011; Zbl 1307.68043) Full Text: DOI OpenURL
Balan, Adriana; Kurz, Alexander On coalgebras over algebras. (English) Zbl 1247.68171 Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 47-62 (2010). MSC: 68Q65 18C10 18C15 PDF BibTeX XML Cite \textit{A. Balan} and \textit{A. Kurz}, Electron. Notes Theor. Comput. Sci. 264, No. 2, 47--62 (2010; Zbl 1247.68171) Full Text: DOI arXiv OpenURL
Hansen, Helle Hvid Subsequential transducers: a coalgebraic perspective. (English) Zbl 1209.68297 Inf. Comput. 208, No. 12, 1368-1397 (2010). MSC: 68Q45 68Q70 PDF BibTeX XML Cite \textit{H. H. Hansen}, Inf. Comput. 208, No. 12, 1368--1397 (2010; Zbl 1209.68297) Full Text: DOI OpenURL
Rodrigues, César J.; Oliveira, J. N.; Barbosa, Luis S. A single complete relational rule for coalgebraic refinement. (English) Zbl 1342.68241 Boiten, Eerke (ed.) et al., Proceedings of the 14th BCS-FACS refinement workshop (REFINE 2009), Eindhoven, The Netherlands, November 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 259, 3-19 (2009). MSC: 68Q85 18B20 PDF BibTeX XML Cite \textit{C. J. Rodrigues} et al., Electron. Notes Theor. Comput. Sci. 259, 3--19 (2009; Zbl 1342.68241) Full Text: DOI OpenURL
Kurz, Alexander; Leal, Raul Equational coalgebraic logic. (English) Zbl 1337.03093 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 333-356 (2009). MSC: 03G30 03B45 PDF BibTeX XML Cite \textit{A. Kurz} and \textit{R. Leal}, Electron. Notes Theor. Comput. Sci. 249, 333--356 (2009; Zbl 1337.03093) Full Text: DOI OpenURL
Kupke, Clemens; Leal, Raul Andres Characterising behavioural equivalence: Three sides of one coin. (English) Zbl 1239.68045 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 97-112 (2009). MSC: 68Q65 68Q85 PDF BibTeX XML Cite \textit{C. Kupke} and \textit{R. A. Leal}, Lect. Notes Comput. Sci. 5728, 97--112 (2009; Zbl 1239.68045) Full Text: DOI OpenURL
Miranda-Perea, Favio Ezequiel Two extensions of System F with (co)iteration and primitive (co)recursion principles. (English) Zbl 1197.03013 Theor. Inform. Appl. 43, No. 4, 703-766 (2009). MSC: 03B40 68N18 68N30 68Q65 PDF BibTeX XML Cite \textit{F. E. Miranda-Perea}, Theor. Inform. Appl. 43, No. 4, 703--766 (2009; Zbl 1197.03013) Full Text: DOI EuDML OpenURL
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra A Kleene theorem for polynomial coalgebras. (English) Zbl 1234.68272 de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 122-136 (2009). MSC: 68Q65 PDF BibTeX XML Cite \textit{M. Bonsangue} et al., Lect. Notes Comput. Sci. 5504, 122--136 (2009; Zbl 1234.68272) Full Text: DOI OpenURL
Hansen, Helle Hvid Coalgebraising subsequential transducers. (English) Zbl 1279.18002 Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 109-129 (2008). MSC: 18B20 68Q70 PDF BibTeX XML Cite \textit{H. H. Hansen}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 109--129 (2008; Zbl 1279.18002) Full Text: DOI OpenURL
Gumm, H. Peter On minimal coalgebras. (English) Zbl 1144.18002 Appl. Categ. Struct. 16, No. 3, 313-332 (2008). MSC: 18B20 68Q85 16W30 03B70 PDF BibTeX XML Cite \textit{H. P. Gumm}, Appl. Categ. Struct. 16, No. 3, 313--332 (2008; Zbl 1144.18002) Full Text: DOI OpenURL
Venema, Yde Automata and fixed point logic: a coalgebraic perspective. (English) Zbl 1110.68066 Inf. Comput. 204, No. 4, 637-678 (2006). MSC: 68Q45 03B45 03G30 18C15 68Q70 68Q85 91A43 PDF BibTeX XML Cite \textit{Y. Venema}, Inf. Comput. 204, No. 4, 637--678 (2006; Zbl 1110.68066) Full Text: DOI OpenURL
Komenda, Jan; van Schuppen, Jan H. Control of discrete-event systems with partial observations using coalgebra and coinduction. (English) Zbl 1101.93050 Discrete Event Dyn. Syst. 15, No. 3, 257-315 (2005). MSC: 93C65 93B25 PDF BibTeX XML Cite \textit{J. Komenda} and \textit{J. H. van Schuppen}, Discrete Event Dyn. Syst. 15, No. 3, 257--315 (2005; Zbl 1101.93050) Full Text: DOI OpenURL
Chen, Hubie; Pucella, Riccardo A coalgebraic approach to Kleene algebra with tests. (English) Zbl 1071.68073 Theor. Comput. Sci. 327, No. 1-2, 23-44 (2004). MSC: 68Q85 68Q70 PDF BibTeX XML Cite \textit{H. Chen} and \textit{R. Pucella}, Theor. Comput. Sci. 327, No. 1--2, 23--44 (2004; Zbl 1071.68073) Full Text: DOI arXiv OpenURL
Gumm, H. Peter; Hughes, Jesse; Schröder, Tobias Distributivity of categories of coalgebras. (English) Zbl 1061.18003 Theor. Comput. Sci. 308, No. 1-3, 131-143 (2003). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18A30 18B99 68Q55 68Q85 PDF BibTeX XML Cite \textit{H. P. Gumm} et al., Theor. Comput. Sci. 308, No. 1--3, 131--143 (2003; Zbl 1061.18003) Full Text: DOI OpenURL
Rutten, J. J. M. M. Behavioural differential equations: a coinductive calculus of streams, automata, and power series. (English) Zbl 1071.68050 Theor. Comput. Sci. 308, No. 1-3, 1-53 (2003). MSC: 68Q45 68Q10 68Q55 68Q85 PDF BibTeX XML Cite \textit{J. J. M. M. Rutten}, Theor. Comput. Sci. 308, No. 1--3, 1--53 (2003; Zbl 1071.68050) Full Text: DOI OpenURL
Wolter, Uwe CSP, partial automata, and coalgebras. (English) Zbl 1050.68099 Theor. Comput. Sci. 280, No. 1-2, 3-34 (2002). MSC: 68Q45 PDF BibTeX XML Cite \textit{U. Wolter}, Theor. Comput. Sci. 280, No. 1--2, 3--34 (2002; Zbl 1050.68099) Full Text: DOI OpenURL
Corradini, A.; Große-Rhode, M.; Heckel, R. A coalgebraic presentation of structured transition systems. (English) Zbl 0973.68173 Theor. Comput. Sci. 260, No. 1-2, 27-55 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Corradini} et al., Theor. Comput. Sci. 260, No. 1--2, 27--55 (2001; Zbl 0973.68173) Full Text: DOI OpenURL
Rutten, J. J. M. M. Universal coalgebra: A theory of systems. (English) Zbl 0951.68038 Theor. Comput. Sci. 249, No. 1, 3-80 (2000). MSC: 68Q10 68Q55 PDF BibTeX XML Cite \textit{J. J. M. M. Rutten}, Theor. Comput. Sci. 249, No. 1, 3--80 (2000; Zbl 0951.68038) Full Text: DOI OpenURL
Rutten, J. J. M. M. A note on coinduction and weak bisimiliarity for while programs. (English) Zbl 0945.68073 Theor. Inform. Appl. 33, No. 4-5, 393-400 (1999). MSC: 68Q10 68Q55 PDF BibTeX XML Cite \textit{J. J. M. M. Rutten}, Theor. Inform. Appl. 33, No. 4--5, 393--400 (1999; Zbl 0945.68073) Full Text: DOI EuDML OpenURL