Pages that link to "Item:Q3190124"
From MaRDI portal
The following pages link to Decidable Topologies for Communicating Automata with FIFO and Bag Channels (Q3190124):
Displaying 11 items.
- Orchestrated session compliance (Q347361) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- (Q4600773) (← links)
- (Q4730790) (← links)
- Event-B-Supported Choreography-Defined Communicating Systems (Q5040369) (← links)
- Synchronizability of communicating finite state machines is not decidable (Q5111454) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)