Coalgebraic semantics for timed processes

DOI10.1016/J.IC.2005.11.003MaRDI QIDQ2495646zbMATH OpenOpenAlexFDO

Authors Marco Kick, John Power, Alex Simpson

Publication date 30 June 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2005.11.003

zbMATH Keywords

delay operatorsdistributive lawsevolution comonadsmodularitystructural operational semanticstime domainstimed transition systems

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) 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 2086649
• Modularity of behaviours for mathematical operational semantics
• scientific article; zbMATH DE number 1497803
• Rule formats for timed processes
• scientific article; zbMATH DE number 1231625

Cites work

• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Category theory for operational semantics
• Combining a monad and a comonad
• Combining effects: sum and tensor
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 1314223 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1497875 (Why is no real title available?)
• scientific article; zbMATH DE number 2086649 (Why is no real title available?)
• Metric spaces, generalized logic, and closed categories
• Modularity of behaviours for mathematical operational semantics
• Mongruences and cofree coalgebras
• On the structure of categories of coalgebras
• The formal theory of monads
• Towards a theory of mathematical operational semantics

Cited in

(17)

• Bialgebraic methods and modal logic in structural operational semantics
• Rule formats for timed processes
• Modularity of behaviours for mathematical operational semantics
• Bialgebraic methods in structural operational semantics (invited talk)
• Traces, Executions and Schedulers, Coalgebraically
• Coinduction in concurrent timed systems
• Symbolic and Asynchronous Semantics via Normalized Coalgebras
• Behavioural equivalences for timed systems
• Structural Operational Semantics for Weighted Transition Systems
• The temporal logic of coalgebras via Galois algebras
• scientific article; zbMATH DE number 1942459 (Why is no real title available?)
• scientific article; zbMATH DE number 7020139 (Why is no real title available?)
• scientific article; zbMATH DE number 2086649 (Why is no real title available?)
• Tensors of comodels and models for operational semantics
• Bialgebras for structural operational semantics: an introduction
• Unifying equivalences for timed transition systems
• Bialgebraic representation of coordination frameworks

This page was built for publication: Coalgebraic semantics for timed processes

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