Multi-modal scenarios revisited: a net-based representation
From MaRDI portal
Publication:418770
DOI10.1016/j.tcs.2011.12.030zbMath1244.68051MaRDI QIDQ418770
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
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item