Pages that link to "Item:Q1854499"
From MaRDI portal
The following pages link to Trace and testing equivalence on asynchronous processes (Q1854499):
Displayed 7 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Full Abstraction for Linda (Q5458387) (← links)