Conferences in DBLP

Conference on Algebra and Coalgebra in Computer Science (calco)
2007 (conf/calco/2007)

1. Stephen L. Bloom, Zoltán Ésik
   Regular and Algebraic Words and Ordinals. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:1-15 [Conf]
   
2. Luís Caires
   Logical Semantics of Types for Concurrency. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:16-35 [Conf]
   
3. Barbara König
   Deriving Bisimulation Congruences with Borrowed Contexts. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:36-39 [Conf]
   
4. Glynn Winskel
   Symmetry and Concurrency. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:40-64 [Conf]
   
5. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
   Ready to Preorder: Get Your BCCSP Axiomatization for Free! [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:65-79 [Conf]
   
6. Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi
   Impossibility Results for the Equational Theory of Timed CCS. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:80-95 [Conf]
   
7. Scott Alexander
   Conceptual Data Modeling with Constraints in Maude. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:96-110 [Conf]
   
8. David Aspinall, Piotr Hoffman
   Datatypes in Memory. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:111-125 [Conf]
   
9. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
   Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:126-142 [Conf]
   
10. Nick Bezhanishvili, Alexander Kurz
    Free Modal Algebras: A Coalgebraic Perspective. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:143-157 [Conf]
    
11. Corina Cîrstea, Mehrnoosh Sadrzadeh
    Coalgebraic Epistemic Update Without Change of Model. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:158-172 [Conf]
    
12. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
    The Maude Formal Tool Environment. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:173-178 [Conf]
    
13. Manfred Droste, Guo-Qiang Zhang
    Bifinite Chu Spaces. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:179-193 [Conf]
    
14. José Luiz Fiadeiro, Vincent Schmitt
    Structured Co-spans: An Algebra of Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:194-208 [Conf]
    
15. Fabio Gadducci, Alberto Lluch-Lafuente
    Graphical Encoding of a Spatial Logic for the pi -Calculus. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:209-225 [Conf]
    
16. Neil Ghani, Alexander Kurz
    Higher Dimensional Trees, Algebraically. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:226-241 [Conf]
    
17. Andreas Glausch, Wolfgang Reisig
    A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:242-256 [Conf]
    
18. Johan Glimming
    Parametric (Co)Iteration vs. Primitive Direcursion. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:257-278 [Conf]
    
19. Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
    Bisimulation for Neighbourhood Structures. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:279-293 [Conf]
    
20. Neal A. Harman
    Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:294-311 [Conf]
    
21. Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
    Quasitoposes, Quasiadhesive Categories and Artin Glueing. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:312-326 [Conf]
    
22. Dexter Kozen, Nicholas Ruozzi
    Applications of Metric Coinduction. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:327-341 [Conf]
    
23. Alexander Kurz, Jirí Rosický
    The Goldblatt-Thomason Theorem for Coalgebras. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:342-355 [Conf]
    
24. Delphine Longuet, Marc Aiguier
    Specification-Based Testing for CoCasl's Modal Specifications. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:356-371 [Conf]
    
25. Dorel Lucanu, Grigore Rosu
    CIRC : A Circular Coinductive Prover. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:372-378 [Conf]
    
26. Radu Mardare
    Observing Distributed Computation. A Dynamic-Epistemic Approach. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:379-393 [Conf]
    
27. Alessandra Palmigiano, Yde Venema
    Nabla Algebras and Chu Spaces. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:394-408 [Conf]
    
28. Marius Petria
    An Institutional Version of Gödel's Completeness Theorem. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:409-424 [Conf]
    
29. Jan J. M. M. Rutten
    Coalgebraic Foundations of Linear Systems. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:425-446 [Conf]
    
30. Lutz Schröder
    Bootstrapping Types and Cotypes in HasCASL. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:447-461 [Conf]