TY  - BOOK
AU  - Heckel,Reiko
AU  - Milius,Stefan
TI  - Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings 
SN  - 9783642402067
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computers
KW  - Mathematics
KW  - Quantum computers
N1  - Invited Talks -- An Effect System for Algebraic Effects and Handlers -- Automata and Algebras for Infinite Words and Trees -- Positive Inductive-Recursive Definitions -- Coalgebraic up-to techniques -- Contributed Papers -- Exploiting Algebraic Laws to Improve Mechanized Axiomatization -- Positive Fragments of Coalgebraic Logics -- Many-valued Relation Lifting and Moss' Coalgebraic Logic -- Saturated Semantics for Coalgebraic Logic Programming -- Presenting Distributive Laws -- Interaction and observation: categorical semantics of reactive systems trough dialgebras -- Homomorphisms of coalgebras from predicate liftings -- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality -- Trace Semantics via Generic Observations -- Full abstraction for fair testing in CCS -- A simple case of rationality of escalation -- Coalgebras with Symmetries and Modelling Quantum Systems -- From Operational Chu Duality to Coalgebraic Quantum Symmetry -- Noninterfering Schedulers|When Possibilistic Noninterference Implies Probabilistic Noninterference -- Simulations and Bisimulations For Coalgebraic Modal Logics -- A Coalgebraic View of "-Transitions -- Nets, relations and linking diagrams -- A Logic-Programming Semantics of Services -- CALCO-Tools Workshop -- Preface to CALCO-Tools -- Checking Conservativity With Hets -- The HI-Maude Tool -- Constructor-based Inductive Theorem Prover -- A Timed CTL Model Checker for Real-Time Maude -- Hybridisation at Work -- Penrose: Putting Compositionality to Work For Petri Net Reachability -- QStream: A Suite of Streams
UR  - http://dx.doi.org/10.1007/978-3-642-40206-7
ER  -