default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd CALCO 2007: Bergen, Norway
- Till Mossakowski, Ugo Montanari, Magne Haveraaen:
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
Invited Talks
- Stephen L. Bloom, Zoltán Ésik:
Regular and Algebraic Words and Ordinals. 1-15 - Luís Caires:
Logical Semantics of Types for Concurrency. 16-35 - Barbara König:
Deriving Bisimulation Congruences with Borrowed Contexts. 36-39 - Glynn Winskel:
Symmetry and Concurrency. 40-64
Contributed Papers
- Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
Ready to Preorder: Get Your BCCSP Axiomatization for Free! 65-79 - Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Impossibility Results for the Equational Theory of Timed CCS. 80-95 - Scott Alexander:
Conceptual Data Modeling with Constraints in Maude. 96-110 - David Aspinall, Piotr Hoffman:
Datatypes in Memory. 111-125 - Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. 126-142 - Nick Bezhanishvili
, Alexander Kurz:
Free Modal Algebras: A Coalgebraic Perspective. 143-157 - Corina Cîrstea, Mehrnoosh Sadrzadeh:
Coalgebraic Epistemic Update Without Change of Model. 158-172 - Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. 173-178 - Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces. 179-193 - José Luiz Fiadeiro, Vincent Schmitt:
Structured Co-spans: An Algebra of Interaction Protocols. 194-208 - Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Encoding of a Spatial Logic for the pi -Calculus. 209-225 - Neil Ghani, Alexander Kurz:
Higher Dimensional Trees, Algebraically. 226-241 - Andreas Glausch, Wolfgang Reisig:
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. 242-256 - Johan Glimming:
Parametric (Co)Iteration vs. Primitive Direcursion. 257-278 - Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Bisimulation for Neighbourhood Structures. 279-293 - Neal A. Harman:
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. 294-311 - Peter T. Johnstone, Stephen Lack, Pawel Sobocinski:
Quasitoposes, Quasiadhesive Categories and Artin Glueing. 312-326 - Dexter Kozen, Nicholas Ruozzi:
Applications of Metric Coinduction. 327-341 - Alexander Kurz, Jirí Rosický:
The Goldblatt-Thomason Theorem for Coalgebras. 342-355 - Delphine Longuet, Marc Aiguier:
Specification-Based Testing for CoCasl's Modal Specifications. 356-371 - Dorel Lucanu, Grigore Rosu:
CIRC : A Circular Coinductive Prover. 372-378 - Radu Mardare:
Observing Distributed Computation. A Dynamic-Epistemic Approach. 379-393 - Alessandra Palmigiano, Yde Venema:
Nabla Algebras and Chu Spaces. 394-408 - Marius Petria:
An Institutional Version of Gödel's Completeness Theorem. 409-424 - Jan J. M. M. Rutten:
Coalgebraic Foundations of Linear Systems. 425-446 - Lutz Schröder:
Bootstrapping Types and Cotypes in HasCASL. 447-461
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-23 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
