Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Σειρά: | Lecture Notes in Computer Science,
4624 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Talks
- Regular and Algebraic Words and Ordinals
- Logical Semantics of Types for Concurrency
- Deriving Bisimulation Congruences with Borrowed Contexts
- Symmetry and Concurrency
- Contributed Papers
- Ready to Preorder: Get Your BCCSP Axiomatization for Free!
- Impossibility Results for the Equational Theory of Timed CCS
- Conceptual Data Modeling with Constraints in Maude
- Datatypes in Memory
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
- Free Modal Algebras: A Coalgebraic Perspective
- Coalgebraic Epistemic Update Without Change of Model
- The Maude Formal Tool Environment
- Bifinite Chu Spaces
- Structured Co-spans: An Algebra of Interaction Protocols
- Graphical Encoding of a Spatial Logic for the ?-Calculus
- Higher Dimensional Trees, Algebraically
- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
- Parametric (Co)Iteration vs. Primitive Direcursion
- Bisimulation for Neighbourhood Structures
- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- Applications of Metric Coinduction
- The Goldblatt-Thomason Theorem for Coalgebras
- Specification-Based Testing for CoCasl’s Modal Specifications
- CIRC: A Circular Coinductive Prover
- Observing Distributed Computation. A Dynamic-Epistemic Approach
- Nabla Algebras and Chu Spaces
- An Institutional Version of Gödel’s Completeness Theorem
- Coalgebraic Foundations of Linear Systems
- Bootstrapping Types and Cotypes in HasCASL.
