Recognizable languages in concurrency monoids
Theoretical Computer Science
Representation of computations in concurrent automata by dependence orders
Theoretical Computer Science
The Book of Traces
Bounded time-stamping in message-passing systems
Theoretical Computer Science
Safe Executions of Recognizable Trace Languages by Asynchronous Automata
Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at Botik '89
Regular sets of infinite message sequence charts
Information and Computation
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Infinite-state high-level MSCs: Model-checking and realizability
Journal of Computer and System Sciences
Message-passing automata are expressively equivalent to EMSO logic
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
A theory of regular MSC languages
Information and Computation
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
Information and Computation
Scenario realizability with constraint optimization
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states independently from the contents of channels and the local states of other processes. We present a self-contained, direct, and relatively simple construction based on a new notion called context MSC.