Pages that link to "Item:Q3657436"
From MaRDI portal
The following pages link to On Communicating Finite-State Machines (Q3657436):
Displaying 6 items.
- Branch-well-structured transition systems and extensions (Q6563059) (← links)
- A dynamic temporal logic for quality of service in choreographic models (Q6605346) (← links)
- Weakly synchronous systems with three machines are Turing powerful (Q6623012) (← links)
- Parameterized broadcast networks with registers: from NP to the frontiers of decidability (Q6629529) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
- On the satisfiability of context-free string constraints with subword-ordering (Q6649435) (← links)