@article(aceto94, author = "L.~Aceto", year = "1994", title = "GSOS and Finite Labelled Transition Systems", journal = "Theoret.~Comput.~Sci.", volume = "131", number = "1", pages = "181--195", doi = "10.1016/0304-3975(94)90094-9", ) @incollection(AFV, author = "L.~Aceto and W.~Fokkink and C.~Verhoef", year = "2001", title = "Structural Operational Semantics", booktitle = "Handbook of Process Algebra", publisher = "Elsevier Science", pages = "197--292", doi = "10.1016/B978-044482830-9/50021-7", ) @article(AMV03, author = "J.~Ad\'{a}mek and S.~Milius and J.~Velebil", year = "2003", title = "Free Iterative Theories: a coalgebraic view", journal = "Math.~Structures Comput.~Sci.", volume = "13", number = "2", pages = "259--320", doi = "10.1017/S0960129502003924", ) @article(AMV06, author = "J.~Ad{\'a}mek and S.~Milius and J.~Velebil", year = "2006", title = "Iterative algebras at work", journal = "Math.~Structures Comput.~Sci.", volume = "16", number = "6", pages = "1085--1131", doi = "10.1017/S0960129506005706", ) @book(ar94, author = "J.~Ad\'{a}mek and J.~Rosick\'y", year = "1994", title = "Locally presentable and accessible categories", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511600579", ) @book(at, author = "J.~Ad\'{a}mek and V.~Trnkov\'a", year = "1990", title = "Automata and Algebras in Categories", series = "Mathematics and its Applications", volume = "37", publisher = "Kluwer Academic Publishers", ) @article(barr_coalg, author = "M.~Barr", year = "1993", title = "Terminal coalgebras in well-founded set theory", journal = "Theoret.~Comput.~Sci.", volume = "114", number = "2", pages = "299--315", doi = "10.1016/0304-3975(93)90076-6", ) @phdthesis(Bartels04, author = "F.~Bartels", year = "2004", title = "On generalised coinduction and probabilistic specification formats", school = "CWI, Amsterdam", ) @article(BIM95, author = "B.~Bloom and S.~Istrail and A.~Meyer", year = "1995", title = "Bisimulation Can't be Traced", journal = "J. ACM", volume = "42", number = "1", pages = "232--268", doi = "10.1145/200836.200876", ) @unpublished(BMS12, author = "M.~Bonsangue and S.~Milius and A.~Silva", year = "2012", title = "Sound and complete axiomatizations of coalgebraic language equivalence", note = "Accepted for publication in {\em ACM Trans.~Comput.~Log.}", ) @article(Courcelle83, author = "B.~Courcelle", year = "1983", title = "Fundamental properties of infinite trees", journal = "Theoret.~Comput.~Sci.", volume = "25", pages = "95--169", doi = "10.1016/0304-3975(83)90059-2", ) @book(DKV09, editor = "M.~Droste and W.~Kuich and H.~Vogler", year = "2009", title = "Handbook of weighted automata", series = "Monographs in Theoretical Computer Science", publisher = "Springer", doi = "10.1007/978-3-642-01492-5", ) @book(gu71, author = "P.~Gabriel and F.~Ulmer", year = "1971", title = "Lokal pr\"asentierbare {K}ategorien", series = "Lecture Notes Math.", volume = "221", publisher = "Springer-Verlag", ) @article(ginali, author = "S.~Ginali", year = "1979", title = "Regular trees and the free iterative theory", journal = "J.~Comput.~System Sci.", volume = "18", pages = "228--242", doi = "10.1016/0022-0000(79)90032-1", ) @inproceedings(Klin07, author = "B.~Klin", year = "2007", title = "Bialgebraic Operational Semantics and Modal Logic", booktitle = "Proc. of LICS 2007", pages = "336--345", doi = "10.1109/LICS.2007.13", ) @inproceedings(Klin09, author = "B.~Klin", year = "2009", title = "Structural Operational Semantics for Weighted Transition Systems", editor = "J.~Palsberg", booktitle = "Semantics and Algebraic Specification", series = "LNCS", volume = "5700", publisher = "Springer", pages = "121--139", doi = "10.1007/978-3-642-04164-8\_7", ) @article(Klin11, author = "B.~Klin", year = "2011", title = "Bialgebras for structural operational semantics: An introduction", journal = "Theoret.~Comput.~Sci.", volume = "412", number = "38", pages = "5043--5069", doi = "10.1016/j.tcs.2011.03.023", ) @article(lambek, author = "J.~Lambek", year = "1968", title = "A Fixpoint Theorem for Complete Categories", journal = "Math.~Z.", volume = "103", pages = "151--161", doi = "10.1007/BF01110627", ) @book(mp89, author = "M.~Makkai and R.~Par\'e", year = "1989", title = "Accessible categories: the foundation of categorical model theory", series = "Contemporary Math.", volume = "104", publisher = "Amer.~Math.~Soc.", address = "Providence, RI", doi = "10.1090/conm/104", ) @inproceedings(Milius10, author = "S.~Milius", year = "2010", title = "A Sound and Complete Calculus for Finite Stream Circuits", booktitle = "Proc. of LICS 2010", publisher = "IEEE Computer Society", pages = "421--430", doi = "10.1109/LICS.2010.11", ) @book(milner, author = "R.~Milner", year = "1989", title = "Communication and Concurrency", publisher = "Prentice Hall", ) @article(Rutten05, author = "J.~Rutten", year = "2005", title = "A coinductive calculus of streams", journal = "Math.~Structures Comput.~Sci.", volume = "15", number = "1", pages = "93--147", doi = "10.1017/S0960129504004517", ) @article(Rutten08, author = "J.~Rutten", year = "2008", title = "Rational Streams Coalgebraically", journal = "Log.~Methods~Comput.~Sci.", volume = "4", number = "3:9", pages = "22 pp.", doi = "10.2168/LMCS-4(3:9)2008", ) @book(Shallit08, author = "J.~Shallit", year = "2008", title = "A Second Course in Formal Languages and Automata Theory", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511808876", ) @inproceedings(TP97, author = "D.~Turi and G.~Plotkin", year = "1997", title = "Towards a Mathematical Operational Semantics", booktitle = "Proc. of LICS 1997", publisher = "IEEE Computer Society", pages = "280--291", doi = "10.1109/LICS.1997.614955", ) @article(worrell, author = "J.~Worrell", year = "2005", title = "On the final sequence of a finitary set functor", journal = "Theoret.~Comput.~Sci.", volume = "338", pages = "184--199", doi = "10.1016/j.tcs.2004.12.009", )