The following pages link to (Q5111454):
Displayed 12 items.
- 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)
- Event-B-Supported Choreography-Defined Communicating Systems (Q5040369) (← links)
- (Q5129947) (← links)
- Verification of Flat FIFO Systems (Q5875373) (← links)
- Guessing the Buffer Bound for k-Synchronizability (Q6070755) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- (Q6191022) (← links)