Publication:2769611
From MaRDI portal
zbMath0978.68548MaRDI QIDQ2769611
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310512
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Some Results on the Expressive Power and Complexity of LSCs, Multi-modal scenarios revisited: a net-based representation, Scenario-based verification of real-time systems using UPPAAL, SMT-based scenario verification for hybrid systems, Improving Translation of Live Sequence Charts to Temporal Logic, Timed Semantics of Message Sequence Charts Based on Timed Automata