2. CALCO 2007:
Bergen,
Norway
Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.):
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings.
Lecture Notes in Computer Science 4624 Springer 2007, ISBN 978-3-540-73857-2 BibTeX
Invited Talks
Contributed Papers
- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir:
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
65-79
Electronic Edition (link) BibTeX
- Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Impossibility Results for the Equational Theory of Timed CCS.
80-95
Electronic Edition (link) BibTeX
- Scott Alexander:
Conceptual Data Modeling with Constraints in Maude.
96-110
Electronic Edition (link) BibTeX
- David Aspinall, Piotr Hoffman:
Datatypes in Memory.
111-125
Electronic Edition (link) BibTeX
- Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
126-142
Electronic Edition (link) BibTeX
- Nick Bezhanishvili, Alexander Kurz:
Free Modal Algebras: A Coalgebraic Perspective.
143-157
Electronic Edition (link) BibTeX
- Corina Cîrstea, Mehrnoosh Sadrzadeh:
Coalgebraic Epistemic Update Without Change of Model.
158-172
Electronic Edition (link) BibTeX
- Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment.
173-178
Electronic Edition (link) BibTeX
- Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces.
179-193
Electronic Edition (link) BibTeX
- José Luiz Fiadeiro, Vincent Schmitt:
Structured Co-spans: An Algebra of Interaction Protocols.
194-208
Electronic Edition (link) BibTeX
- Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Encoding of a Spatial Logic for the pi -Calculus.
209-225
Electronic Edition (link) BibTeX
- Neil Ghani, Alexander Kurz:
Higher Dimensional Trees, Algebraically.
226-241
Electronic Edition (link) BibTeX
- Andreas Glausch, Wolfgang Reisig:
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.
242-256
Electronic Edition (link) BibTeX
- Johan Glimming:
Parametric (Co)Iteration vs. Primitive Direcursion.
257-278
Electronic Edition (link) BibTeX
- Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Bisimulation for Neighbourhood Structures.
279-293
Electronic Edition (link) BibTeX
- Neal A. Harman:
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.
294-311
Electronic Edition (link) BibTeX
- Peter T. Johnstone, Stephen Lack, Pawel Sobocinski:
Quasitoposes, Quasiadhesive Categories and Artin Glueing.
312-326
Electronic Edition (link) BibTeX
- Dexter Kozen, Nicholas Ruozzi:
Applications of Metric Coinduction.
327-341
Electronic Edition (link) BibTeX
- Alexander Kurz, Jirí Rosický:
The Goldblatt-Thomason Theorem for Coalgebras.
342-355
Electronic Edition (link) BibTeX
- Delphine Longuet, Marc Aiguier:
Specification-Based Testing for CoCasl's Modal Specifications.
356-371
Electronic Edition (link) BibTeX
- Dorel Lucanu, Grigore Rosu:
CIRC : A Circular Coinductive Prover.
372-378
Electronic Edition (link) BibTeX
- Radu Mardare:
Observing Distributed Computation. A Dynamic-Epistemic Approach.
379-393
Electronic Edition (link) BibTeX
- Alessandra Palmigiano, Yde Venema:
Nabla Algebras and Chu Spaces.
394-408
Electronic Edition (link) BibTeX
- Marius Petria:
An Institutional Version of Gödel's Completeness Theorem.
409-424
Electronic Edition (link) BibTeX
- Jan J. M. M. Rutten:
Coalgebraic Foundations of Linear Systems.
425-446
Electronic Edition (link) BibTeX
- Lutz Schröder:
Bootstrapping Types and Cotypes in HasCASL.
447-461
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:00:19 2009
by Michael Ley (ley@uni-trier.de)
