Algebra and Coalgebra in Computer Science

DOI10.1007/11548133MaRDI QIDQ5492811zbMATH OpenOpenAlexFDO

Authors Bartek Klin, Vladimiro Sassone, Paweł Sobociński

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4210113
• Generalized theorems on relationships among reducibility notions to certain complexity classes
• Semantic labelling for proving termination of combinatory reduction systems
• scientific article; zbMATH DE number 1864591
• scientific article; zbMATH DE number 5927290
• scientific article; zbMATH DE number 2154080
• Generalized effective reducibility
• On Relating Theories: Proof-Theoretical Reduction
• Reducibility Proofs in the λ-Calculus
• Reductions on equivalence relations generated by universal sets

Cited in

(11)

• A General Theory of Barbs, Contexts, and Labels
• Directed bigraphs
• RPO, Second-Order Contexts, and λ-Calculus
• A semantic framework for open processes
• scientific article; zbMATH DE number 4210113 (Why is no real title available?)
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• scientific article; zbMATH DE number 7471695 (Why is no real title available?)
• Conditional bisimilarity for reactive systems
• A coalgebraic theory of reactive systems
• A well-behaved LTS for the pi-calculus (abstract)
• On symbolic semantics for name-decorated contexts

This page was built for publication: Algebra and Coalgebra in Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492811)