A hierarchy of communication models for message sequence charts

DOI10.1016/S0167-6423(02)00022-9zbMath1014.68040OpenAlexW2896471304MaRDI QIDQ701045

A. G. Engels, Sjouke Mauw, Michel Reniers

Publication date: 16 October 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00022-9

zbMATH Keywords

semanticsbufferingimplementationhierarchymessage sequence chartsvalidationcommunication models

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (6)

Revisiting Semantics of Interactions for Trace Validity Analysis ⋮ On the preservation of properties when changing communication models ⋮ A modular framework for verifying versatile distributed systems ⋮ Synthesis of Reo Circuits from Scenario-based Specifications ⋮ Multiple Synchrony in MSC ⋮ Timed Semantics of Message Sequence Charts Based on Timed Automata

This page was built for publication: A hierarchy of communication models for message sequence charts