More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

2nd CALCO 2007: Bergen, Norway

> Home > Conferences and Workshops > CALCO

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/calco/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/2007
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

- view
  authority control:
- export record
  dblp key:
  - conf/calco/BloomE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BloomE07
Stephen L. Bloom, Zoltán Ésik:
Regular and Algebraic Words and Ordinals. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Caires07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Caires07
Luís Caires:
Logical Semantics of Types for Concurrency. 16-35
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Konig07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Konig07
Barbara König:
Deriving Bisimulation Congruences with Borrowed Contexts. 36-39
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Winskel07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Winskel07
Glynn Winskel:
Symmetry and Concurrency. 40-64

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/calco/AcetoFI07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/AcetoFI07
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir:
Ready to Preorder: Get Your BCCSP Axiomatization for Free! 65-79
- view
  authority control:
- export record
  dblp key:
  - conf/calco/AcetoIM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/AcetoIM07
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Impossibility Results for the Equational Theory of Timed CCS. 80-95
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Alexander07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Alexander07
Scott Alexander:
Conceptual Data Modeling with Constraints in Maude. 96-110
- view
  authority control:
- export record
  dblp key:
  - conf/calco/AspinallH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/AspinallH07
David Aspinall, Piotr Hoffman:
Datatypes in Memory. 111-125
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BaldanCEHK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BaldanCEHK07
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. 126-142
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BezhanishviliK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BezhanishviliK07
Nick Bezhanishvili, Alexander Kurz:
Free Modal Algebras: A Coalgebraic Perspective. 143-157
- view
  authority control:
- export record
  dblp key:
  - conf/calco/CirsteaS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/CirsteaS07
Corina Cîrstea, Mehrnoosh Sadrzadeh:
Coalgebraic Epistemic Update Without Change of Model. 158-172
- view
  authority control:
- export record
  dblp key:
  - conf/calco/ClavelDHLMO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/ClavelDHLMO07
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. 173-178
- view
  authority control:
- export record
  dblp key:
  - conf/calco/DrosteZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/DrosteZ07
Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces. 179-193
- view
  authority control:
- export record
  dblp key:
  - conf/calco/FiadeiroS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/FiadeiroS07
José Luiz Fiadeiro, Vincent Schmitt:
Structured Co-spans: An Algebra of Interaction Protocols. 194-208
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GadducciL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GadducciL07
Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Encoding of a Spatial Logic for the pi -Calculus. 209-225
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GhaniK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GhaniK07
Neil Ghani, Alexander Kurz:
Higher Dimensional Trees, Algebraically. 226-241
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GlauschR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GlauschR07
Andreas Glausch, Wolfgang Reisig:
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. 242-256
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Glimming07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Glimming07
Johan Glimming:
Parametric (Co)Iteration vs. Primitive Direcursion. 257-278
- view
  authority control:
- export record
  dblp key:
  - conf/calco/HansenKP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/HansenKP07
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Bisimulation for Neighbourhood Structures. 279-293
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Harman07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Harman07
Neal A. Harman:
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. 294-311
- view
  authority control:
- export record
  dblp key:
  - conf/calco/JohnstoneLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/JohnstoneLS07
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski:
Quasitoposes, Quasiadhesive Categories and Artin Glueing. 312-326
- view
  authority control:
- export record
  dblp key:
  - conf/calco/KozenR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/KozenR07
Dexter Kozen, Nicholas Ruozzi:
Applications of Metric Coinduction. 327-341
- view
  authority control:
- export record
  dblp key:
  - conf/calco/KurzR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/KurzR07
Alexander Kurz, Jirí Rosický:
The Goldblatt-Thomason Theorem for Coalgebras. 342-355
- view
  authority control:
- export record
  dblp key:
  - conf/calco/LonguetA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/LonguetA07
Delphine Longuet, Marc Aiguier:
Specification-Based Testing for CoCasl's Modal Specifications. 356-371
- view
  authority control:
- export record
  dblp key:
  - conf/calco/LucanuR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/LucanuR07
Dorel Lucanu, Grigore Rosu:
CIRC : A Circular Coinductive Prover. 372-378
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Mardare07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Mardare07
Radu Mardare:
Observing Distributed Computation. A Dynamic-Epistemic Approach. 379-393
- view
  authority control:
- export record
  dblp key:
  - conf/calco/PalmigianoV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/PalmigianoV07
Alessandra Palmigiano, Yde Venema:
Nabla Algebras and Chu Spaces. 394-408
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Petria07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Petria07
Marius Petria:
An Institutional Version of Gödel's Completeness Theorem. 409-424
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Rutten07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Rutten07
Jan J. M. M. Rutten:
Coalgebraic Foundations of Linear Systems. 425-446
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Schroder07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Schroder07
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.