Barbed Semantics for Open Reactive Systems

DOI10.1007/978-3-642-37635-1_10zbMath1394.68249OpenAlexW19434086MaRDI QIDQ2848882

Giacoma Valentina Monreale, Fabio Gadducci

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_10

zbMATH Keywords

(saturated) barbed bisimilaritiesopen reactive systems

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)

Related Items (1)

A General Theory of Barbs, Contexts, and Labels

This page was built for publication: Barbed Semantics for Open Reactive Systems