zbMATH — the first resource for mathematics

Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. (English) Zbl 1123.68007
Lecture Notes in Computer Science 4624. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). xi, 463 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1087.68002).
Indexed articles:
Bloom, S. L.; Ésik, Z., Regular and algebraic words and ordinals, 1-15 [Zbl 1214.68234]
Caires, Luís, Logical semantics of types for concurrency, 16-35 [Zbl 1214.68244]
König, Barbara, Deriving bisimulation congruences with borrowed contexts. (Abstract), 36-39 [Zbl 1214.68249]
Winskel, Glynn, Symmetry and concurrency. (Extended abstract), 40-64 [Zbl 1214.68252]
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna, Ready to preorder: get your BCCSP axiomatization for free!, 65-79 [Zbl 1214.68239]
Aceto, Luca; Ingólfsdóttir, Anna; Mousavi, MohammadReza, Impossibility results for the equational theory of timed CCS, 80-95 [Zbl 1214.68240]
Alexander, Scott, Conceptual data modeling with constraints in Maude, 96-110 [Zbl 1214.68145]
Aspinall, David; Hoffman, Piotr, Datatypes in memory, 111-125 [Zbl 1214.68228]
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara, Bisimilarity and behaviour-preserving reconfigurations of open Petri nets, 126-142 [Zbl 1214.68243]
Bezhanishvili, N.; Kurz, A., Free modal algebras: a coalgebraic perspective, 143-157 [Zbl 1214.03052]
Cîrstea, Corina; Sadrzadeh, Mehrnoosh, Coalgebraic epistemic update without change of model, 158-172 [Zbl 1214.68408]
Droste, Manfred; Zhang, Guo-Qiang, Bifinite Chu spaces, 179-193 [Zbl 1214.68206]
Fiadeiro, José Luiz; Schmitt, Vincent, Structured co-spans: an algebra of interaction protocols, 194-208 [Zbl 1214.68229]
Gadducci, Fabio; Lluch Lafuente, Alberto, Graphical encoding of a spatial logic for the \(\pi \)-calculus, 209-225 [Zbl 1214.68248]
Ghani, Neil; Kurz, Alexander, Higher dimensional trees, algebraically, 226-241 [Zbl 1214.68235]
Glausch, Andreas; Reisig, Wolfgang, A semantic characterization of unbounded-nondeterministic abstract state machines, 242-256 [Zbl 1214.68156]
Glimming, Johan, Parametric (co)iteration vs. primitive direcursion, 257-278 [Zbl 1214.68207]
Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric, Bisimulation for neighbourhood structures, 279-293 [Zbl 1172.03314]
Harman, N. A., Algebraic models of simultaneous multithreaded and multi-core processors, 294-311 [Zbl 1214.68230]
Johnstone, Peter T.; Lack, Stephen; Sobociński, Paweł, Quasitoposes, quasiadhesive categories and Artin glueing, 312-326 [Zbl 1214.18003]
Kozen, Dexter; Ruozzi, Nicholas, Applications of metric coinduction, 327-341 [Zbl 1214.68218]
Kurz, Alexander; Rosický, Jiří, The Goldblatt-Thomason theorem for coalgebras, 342-355 [Zbl 1214.03017]
Longuet, Delphine; Aiguier, Marc, Specification-based testing for CoCasl’s modal specifications, 356-371 [Zbl 1214.68231]
Lucanu, Dorel; Roşu, Grigore, CIRC: a circular coinductive prover, 372-378 [Zbl 1214.68336]
Mardare, Radu, Observing distributed computation. A dynamic-epistemic approach, 379-393 [Zbl 1214.68386]
Palmigiano, Alessandra; Venema, Yde, Nabla algebras and Chu spaces, 394-408 [Zbl 1214.03057]
Petria, Marius, An institutional version of Gödel’s completeness theorem, 409-424 [Zbl 1214.03058]
Rutten, J. J. M. M., Coalgebraic foundations of linear systems. (An exercise in stream calculus), 425-446 [Zbl 1214.68232]
Schröder, Lutz, Bootstrapping types and cotypes in HasCasl, 447-461 [Zbl 1214.68233]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI