Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703799
DOI10.1007/b107194zbMath1087.68592OpenAlexW2497867240MaRDI QIDQ5703799
Markus Roggenbach, Yoshinao Isobe
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Sound reasoning in \textit{tock}-CSP ⋮ CSP-CASL -- a new integration of process algebra and algebraic specification ⋮ Property Preserving Refinement for Csp-Casl ⋮ On the limits of refinement-testing for model-checking CSP ⋮ Simulating Truly Concurrent CSP ⋮ CSP-CASL-Prover: A Generic Tool for Process and Data Refinement ⋮ The Stable Revivals Model in CSP-Prover ⋮ Multiple Synchrony in MSC ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ CSP-prover ⋮ Generic Tools via General Refinement
Uses Software
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems
