Contexts, refinement and determinism
From MaRDI portal
Publication:541213
DOI10.1016/j.scico.2010.11.011zbMath1219.68091WikidataQ59651675 ScholiaQ59651675MaRDI QIDQ541213
Publication date: 6 June 2011
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/10289/4884
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
General Refinement, Part One: Interfaces, Determinism and Special Refinement, Incompleteness of relational simulations in the blocking paradigm
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relational concurrent refinement
- Testing equivalences for processes
- Vertical implementation
- Compositional failure-based semantic models for basic LOTOS
- A singleton failures semantics for communicating sequential processes
- Masked prioritized synchronization for interaction and control of discrete event systems
- Generic Tools via General Refinement
- Process Algebra
- ZB 2005: Formal Specification and Development in Z and B
- Theoretical Aspects of Computing - ICTAC 2004