Delayed-choice semantics for pomset families and message sequence graphs

DOI10.1007/978-3-319-68270-9_4MaRDI QIDQ5047040zbMATH OpenOpenAlexFDO

Authors Clemens Dubslaff, Christel Baier

Publication date 9 November 2022

Published in ModelEd, TestEd, TrustEd (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68270-9_4

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 1760052
• An event structure based semantics for high-level message sequence charts
• scientific article; zbMATH DE number 1307655
• The theory of message sequence charts
• A semantics for timed MSC

This page was built for publication: Delayed-choice semantics for pomset families and message sequence graphs

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