Multi-modal scenarios revisited: a net-based representation

DOI10.1016/J.TCS.2011.12.030zbMath1244.68051OpenAlexW2149472416MaRDI QIDQ418770

Amir Kantor, David Harel

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.030

zbMATH Keywords

live sequence chartsscenarioLSCLSC netmodal state structure

Mathematics Subject Classification ID

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

Related Items (1)

Multi-modal scenarios revisited: a net-based representation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-modal scenarios revisited: a net-based representation
• Statecharts: a visual formalism for complex systems
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Tools and Algorithms for the Construction and Analysis of Systems
• LSCs: Breathing life into message sequence charts

This page was built for publication: Multi-modal scenarios revisited: a net-based representation