Computer Aided Verification
From MaRDI portal
Publication:5312903
DOI10.1007/b98490zbMath1103.68612OpenAlexW4298302743MaRDI QIDQ5312903
Jakob Rehof, C. A. R. Hoare, Sriram K. Rajamani, Cédric Fournet
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Responsiveness and stable revivals ⋮ A trace-based service semantics guaranteeing deadlock freedom ⋮ Threaded behavior protocols ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Conformance notions for the coordination of interaction components ⋮ Relating fair testing and accordance for service replaceability ⋮ Contract-based discovery of Web services modulo simple orchestrators ⋮ On the Unification of Process Semantics: Equational Semantics ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ Deciding Substitutability of Services with Operating Guidelines
Uses Software
This page was built for publication: Computer Aided Verification
