An algebraic semantics of event-based architectures

DOI10.1017/S0960129507006299MaRDI QIDQ5430140zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, Antónia Lopes

Publication date 12 December 2007

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129507006299

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) Logic in artificial intelligence (68T27)

Recommendations

• Generic Programming
• scientific article; zbMATH DE number 1956480
• Distributed event-based systems
• Distributed event algebras
• A resource-efficient event algebra

Cites work

• Adding mobility to software architectures
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• Towards a formal treatment of implicit invocation using rely/guarantee reasoning

Cited in

(6)

• Event domains, stable functions and proof-nets
• Denotational Approach to an Event-Driven System-Level Language
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 1956480 (Why is no real title available?)
• scientific article; zbMATH DE number 7020132 (Why is no real title available?)
• A resource-efficient event algebra

This page was built for publication: An algebraic semantics of event-based architectures

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