An algebraic semantics of event-based architectures

DOI10.1017/S0960129507006299zbMath1129.68046OpenAlexW2137179225MaRDI QIDQ5430140

José Luiz 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

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Towards a formal treatment of implicit invocation using rely/guarantee reasoning
• Superposition: Composition vs refinement of non-deterministic, action-based systems
• Adding mobility to software architectures
• Unnamed Item

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