Find a copy in the library
Finding libraries that hold this item...
Details
Material Type: | Document |
---|---|
Document Type: | Book, Computer File |
ISBN: | 3642402054 9783642402050 |
OCLC Number: | 1058708775 |
Description: | 1 online resource |
Contents: | 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. |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Algebra and Coalgebra in Computer Science.".
Be the first.