Symbolic and Asynchronous Semantics via Normalized Coalgebras

DOI10.2168/LMCS-7(2:7)2011zbMath1213.68400OpenAlexW3099684036MaRDI QIDQ3003325

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)

Uses Software

• CC-Pi

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