1. CALCO 2005: Swansea, Wales, UK
José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten (Eds.): Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-28620-9- Samson Abramsky: Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. 1-29
- Bartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory. 30-50
- Gordon D. Plotkin: Adequacy for Algebraic Effects with State. 51-51
- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain: Bisimilarity Is Not Finitely Based over BPA with Interrupt. 52-66
- Jirí Adámek: Algebra 'cap' Coalgebra = Presheaves. 67-82
- Federico De Marchi: On the Semantics of Coinductive Types in Martin-Löf Type Theory. 114-126
- Ernst-Erich Doberkat: Look: Simple Stochastic Relations Are Just, Well, Simple. 127-141
- Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. 142-156
- Anthony C. J. Fox: An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. 157-174
- Clemens Grabmayer: Using Proofs by Coinduction to Find "Traditional" Proofs. 175-193
- H. Peter Gumm: From T-Coalgebras to Filter Structures and Transition Systems. 194-212
- Daniel Hausmann, Till Mossakowski, Lutz Schröder: Towards a Coalgebraic Semantics of the Ambient Calculus. 232-246
- Bartek Klin: The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. 247-262
- John G. Mersch: Equational Logic of Recursive Program Schemes. 278-292
- Stefan Milius, Lawrence S. Moss: The Category Theoretic Solution of Recursive Program Schemes. 293-312
- John Power: Discrete Lawvere Theories. 348-363
- César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. 364-378
- Prasanna Thati, José Meseguer: Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. 379-394
- Ignacio D. Viglizzo: Final Sequences and Final Coalgebras for Measurable Spaces. 395-407
- Michal Walicki: Bireachability and Final Multialgebras. 408-423
- Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko: Property Preserving Redesign of Specifications. 439-455
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team