Barbed Semantics for Open Reactive Systems

DOI10.1007/978-3-642-37635-1_10MaRDI QIDQ2848882zbMATH OpenOpenAlexFDO

Authors Fabio Gadducci, Giacoma Valentina Monreale

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)

Recommendations

• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• scientific article; zbMATH DE number 7308363
• Open maps and barbed bisimulation for timed transition systems
• scientific article; zbMATH DE number 2112979
• scientific article; zbMATH DE number 1863181
• Specifying and verifying reactive systems in a multi-language environment
• scientific article; zbMATH DE number 3919813
• On the construction of a domain language for a class of reactive systems
• Reasoning about reactive systems

Cited in

(3)

• A General Theory of Barbs, Contexts, and Labels
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• scientific article; zbMATH DE number 7308363 (Why is no real title available?)

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

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