Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras

DOI10.1007/978-3-642-40206-7_10zbMath1394.68246arXiv1209.5903OpenAlexW2963047058MaRDI QIDQ2848943

Vincenzo Ciancia

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1209.5903

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) Categorical semantics of formal languages (18C50)

Related Items (2)

Event based choreography ⋮ Unnamed Item

This page was built for publication: Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras