The Reaction Algebra: A Formal Language for Event Correlation

DOI10.1007/978-3-540-78127-1_33MaRDI QIDQ5452200zbMATH OpenOpenAlexFDO

Authors César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Publication date 25 March 2008

Published in Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78127-1_33

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Algebra and Coalgebra in Computer Science
• A resource-efficient event algebra
• An Event-Condition-Action Logic Programming Language
• Reactive concurrent programming revisited

Cited in

(3)

• A resource-efficient event algebra
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Algebra and Coalgebra in Computer Science

This page was built for publication: The Reaction Algebra: A Formal Language for Event Correlation

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