Confluence Thanks to Extensional Determinism
From MaRDI portal
Publication:5262976
DOI10.1016/j.entcs.2005.12.098zbMath1316.68106OpenAlexW2140380236MaRDI QIDQ5262976
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.098
Related Items
Tracking CSP computations ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Checking noninterference in timed CSP ⋮ Revivals, stuckness and the hierarchy of CSP models ⋮ Compositional State Space Reduction Using Untangled Actions
Cites Work
This page was built for publication: Confluence Thanks to Extensional Determinism