Pages that link to "Item:Q344799"
From MaRDI portal
The following pages link to On deciding synchronizability for asynchronously communicating systems (Q344799):
Displaying 22 items.
- Dealing with final state sensitivity for synchronous communication (Q1598534) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- Guessing the buffer bound for k-synchronizability (Q2117668) (← links)
- Automatic analysis of complex interactions in microservice systems (Q2175983) (← links)
- On the \(k\)-synchronizability of systems (Q2200819) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Multiparty half-duplex systems and synchronous communications (Q2683034) (← links)
- An axiomatic approach to computing the connectivity of synchronous and asynchronous systems (Q2810958) (← links)
- Hoare vs Milner: comparing synchronizations in a graphical framework with mobility (Q2852051) (← links)
- Synchronizability for Verification of Asynchronously Communicating Systems (Q2891401) (← links)
- Resource-sensitive synchronization inference by abduction (Q2942882) (← links)
- Asynchronous Communication: Exact Synchronization, Universality, and Dispersion (Q2989341) (← links)
- (Q4251925) (← links)
- On half-synchronized systems (Q4591004) (← links)
- Correspondence assertions for process synchronization in concurrent communications (Q4676156) (← links)
- Event-B-Supported Choreography-Defined Communicating Systems (Q5040369) (← links)
- Synchronizability of communicating finite state machines is not decidable (Q5111454) (← links)
- (Q5459532) (← links)
- On the inherent weakness of conditional synchronization primitives (Q5501485) (← links)
- Guessing the Buffer Bound for k-Synchronizability (Q6070755) (← links)
- Weakly synchronous systems with three machines are Turing powerful (Q6623012) (← links)
- Towards generalised half-duplex systems (Q6649540) (← links)
