Symbolic and Asynchronous Semantics via Normalized Coalgebras

DOI10.2168/LMCS-7(2:7)2011MaRDI QIDQ3003325zbMATH OpenOpenAlexFDO

Authors Filippo Bonchi, Ugo Montanari

Publication date 26 May 2011

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-7(2:7)2011

zbMATH Keywords

coalgebrasPetri netsprocess calculisymbolic semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Coalgebraic symbolic semantics
• scientific article; zbMATH DE number 995891
• Coalgebraic semantics for parallel derivation strategies in logic programming
• A denotational semantics for the symmetric interaction combinators
• Algebra and Coalgebra in Computer Science
• Trace semantics for coalgebras
• Coalgebraic semantics for nominal automata
• A coalgebraic approach to the semantics of the ambient calculus
• Coalgebraic semantics for timed processes
• A coinductive calculus for asynchronous side-effecting processes

Cited in

(2)

• Coalgebraic symbolic semantics
• Coalgebraic Models for Reactive Systems

Describes a project that uses

Uses Software

• CC-Pi

This page was built for publication: Symbolic and Asynchronous Semantics via Normalized Coalgebras

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