Refinement-Preserving Plug-In Components
From MaRDI portal
Publication:4923380
DOI10.1016/S1571-0661(05)80059-3zbMath1264.68109OpenAlexW1969226791MaRDI QIDQ4923380
Publication date: 6 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80059-3
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- The timed failures -- Stability model for CSP
- The NRL Protocol Analyzer: An Overview
- A Theory of Communicating Sequential Processes
- Communicating Sequential Processes. The First 25 Years
- csp2B: A practical approach to combining CSP and B
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Refinement-Preserving Plug-In Components