scientific article; zbMATH DE number 7308363

MaRDI QIDQ5150130zbMATH OpenFDO

Authors Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.4

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

• Barbed Semantics for Open Reactive Systems
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• A General Theory of Barbs, Contexts, and Labels
• On the Construction of Sorted Reactive Systems
• The refinement calculus of reactive systems
• scientific article; zbMATH DE number 3930354
• On the specification of elementary reactive behaviour
• scientific article; zbMATH DE number 1973127
• scientific article; zbMATH DE number 1864591

Cited in

(5)

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

This page was built for publication:

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