The following pages link to Computer Aided Verification (Q5312903):
Displaying 10 items.
- Threaded behavior protocols (Q470016) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- On the Unification of Process Semantics: Equational Semantics (Q2805160) (← links)
