scientific article; zbMATH DE number 1956480

MaRDI QIDQ4417819zbMATH OpenFDO

Authors Pascal Fenkam, Harald Gall, Mehdi Jazayeri

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2621/26210067.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Distributed event-based systems
• Event-Based Service Coordination
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• An algebraic semantics of event-based architectures
• scientific article; zbMATH DE number 2089390

Cited in

(6)

• scientific article; zbMATH DE number 2089390 (Why is no real title available?)
• Distributed event-based systems
• scientific article; zbMATH DE number 1945856 (Why is no real title available?)
• An algebraic semantics of event-based architectures
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A parametric rely-guarantee reasoning framework for concurrent 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 Q4417819)