Recommendations
Cites work
- scientific article; zbMATH DE number 1670862 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 1979562 (Why is no real title available?)
- scientific article; zbMATH DE number 2081110 (Why is no real title available?)
- scientific article; zbMATH DE number 1754635 (Why is no real title available?)
- scientific article; zbMATH DE number 1754636 (Why is no real title available?)
- scientific article; zbMATH DE number 1759427 (Why is no real title available?)
- scientific article; zbMATH DE number 1759633 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 2086410 (Why is no real title available?)
- scientific article; zbMATH DE number 2086660 (Why is no real title available?)
- scientific article; zbMATH DE number 2087422 (Why is no real title available?)
- scientific article; zbMATH DE number 1418329 (Why is no real title available?)
- An expressively complete linear time temporal logic for Mazurkiewicz traces
- Bounded time-stamping in message-passing systems
- Interpreting message flow graphs
- LSCs: Breathing life into message sequence charts
- Logical definability on infinite traces
- Notes on finite asynchronous automata
- Semi-commutations
- Weak Second‐Order Arithmetic and Finite Automata
Cited in
(45)- Synthesis of Safe Message-Passing Systems
- Mixing Lossy and Perfect Fifo Channels
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
- Bounded time-stamping in message-passing systems
- scientific article; zbMATH DE number 1759633 (Why is no real title available?)
- A quadratic construction for Zielonka automata with acyclic communication structure
- scientific article; zbMATH DE number 1670862 (Why is no real title available?)
- MSCPDL -- a language for behavioural abstraction
- Pomset Languages of Finite Step Transition Systems
- Automated synthesis of distributed controllers
- Compositional synthesis of asynchronous automata
- Realizability of Concurrent Recursive Programs
- The theory of message sequence charts
- Muller message-passing automata and logics
- Regular set of representatives for time-constrained MSC graphs
- Checking conformance for time-constrained scenario-based specifications
- Event clock message passing automata: a logical characterization and an emptiness checking algorithm
- Regular sets of infinite message sequence charts
- Automata and Logics for Concurrent Systems: Five Models in Five Pages
- Automata and Logics for Timed Message Sequence Charts
- Realizability of Dynamic MSC Languages
- Shared-memory systems and charts
- Unambiguous shared-memory systems
- MSO Logic for Unambiguous Shared-Memory Systems
- scientific article; zbMATH DE number 2087422 (Why is no real title available?)
- Synthesis and Analysis of Petri Nets from Causal Specifications
- Solving problems on graphs of high rank-width
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- scientific article; zbMATH DE number 2086239 (Why is no real title available?)
- Message-passing automata are expressively equivalent to EMSO logic
- scientific article; zbMATH DE number 1701359 (Why is no real title available?)
- Distributed Asynchronous Automata
- Causal message sequence charts
- Timed semantics of message sequence charts based on timed automata
- Pattern matching and membership for hierarchical message sequence charts
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- On Distributed Monitoring and Synthesis
- A calculus of global interaction based on session types
- It is easy to be wise after the event: communicating finite-state machines capture first-order logic with ``happened before
- Realizability of concurrent recursive programs
- scientific article; zbMATH DE number 1759427 (Why is no real title available?)
- scientific article; zbMATH DE number 2086410 (Why is no real title available?)
- Semantics of Deterministic Shared-Memory Systems
- Communicating finite-state machines and two-variable logic
- Exhibition of a structural bug with wings
This page was built for publication: A theory of regular MSC languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2573333)
