Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

DOI10.1007/978-3-540-27755-2_22MaRDI QIDQ5712292zbMATH OpenOpenAlexFDO

Authors Abhik Roychoudhury, P. S. Thiagarajan

Publication date 23 December 2005

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Designing communicating transaction processes by supervisory control theory
• A semantic and methodological essence of message sequence charts
• A hierarchy of communication models for message sequence charts
• Compositional message sequence charts
• Message sequence charts

Cited in

(3)

• A model of reconfiguration in communicating sequential processes with a notion of transactions
• Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines
• Designing communicating transaction processes by supervisory control theory

This page was built for publication: Communicating transaction processes: An MSC-based model of computation for reactive embedded systems

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