Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMATH Open1151.68378OpenAlexW249899439MaRDI QIDQ5492832FDOQ5492832

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

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11548133

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• The Reaction Algebra: A Formal Language for Event Correlation
• Fair reactive programming
• On the specification of elementary reactive behaviour
• Reactive concurrent programming revisited

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cited In (5)

• \texttt{EVL}: a typed higher-order functional language for events
• The Reaction Algebra: A Formal Language for Event Correlation
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• A resource-efficient event algebra
• Programming by composing filters

This page was built for publication: Algebra and Coalgebra in Computer Science

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