Pages that link to "Item:Q1854499"
From MaRDI portal
The following pages link to Trace and testing equivalence on asynchronous processes (Q1854499):
Displaying 13 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- The complexity of asynchronous model based testing (Q714798) (← 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)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- An abstract framework for choreographic testing (Q2239278) (← 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)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
- (Q2851059) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- A model of actors and grey failures (Q6137831) (← links)
