Algebra and Coalgebra in Computer Science [[electronic resource] ] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 359 p. 29 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Quantum computers Computer science—Mathematics Theory of Computation Software Engineering Quantum Computing Symbolic and Algebraic Manipulation |
ISBN | 3-642-40206-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465691803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 359 p. 29 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Quantum computers Computer science—Mathematics Theory of Computation Software Engineering Quantum Computing Symbolic and Algebraic Manipulation |
ISBN | 3-642-40206-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910483633903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|