Pages that link to "Item:Q3719838"
From MaRDI portal
The following pages link to On the progress of communication between two finite state machines (Q3719838):
Displaying 9 items.
- An interface theory for service-oriented design (Q407507) (← links)
- Indistinguishability of finite automata with constrained behavior (Q1375267) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- On the bound of algorithmic resolvability of correctness problems of automaton interaction through communication channels (Q1974312) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Closed Covers: To Verify Progress for Communicating Finite State Machines (Q3339299) (← links)
- (Q5856424) (← links)