Model checking publish-subscribe systems

DOI10.1007/3-540-44829-2_11MaRDI QIDQ4426380zbMATH OpenFDO

Authors David Garlan, Serge Khersonsky, Jungsoo Kim

Publication date 16 September 2003

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
• Publish-subscribe for mobile environments
• scientific article; zbMATH DE number 910719
• Towards a cryptographic treatment of publish/subscribe systems
• The evolution of publish/subscribe communication systems

Cited in

(4)

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam
• Parameterised verification of publish/subscribe networks with exception handling
• Towards a cryptographic treatment of publish/subscribe systems
• Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata

This page was built for publication: Model checking publish-subscribe systems

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