Pages that link to "Item:Q1886450"
From MaRDI portal
The following pages link to Reasoning about layered message passing systems (Q1886450):
Displaying 6 items.
- Realizable temporal logics for web service choreography (Q739636) (← links)
- Constructing regular variables in message passing systems (Q2485118) (← links)
- Reasoning about message passing in finite state environments (Q2754167) (← links)
- (Q5090956) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)
- Opportunistic monitoring of multithreaded programs (Q6535220) (← links)