Contexts, refinement and determinism

DOI10.1016/j.scico.2010.11.011zbMath1219.68091OpenAlexW2069250051WikidataQ59651675 ScholiaQ59651675MaRDI QIDQ541213

Steve Reeves, David Streader

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

zbMATH Keywords

determinismframesrefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Incompleteness of relational simulations in the blocking paradigm ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement

Cites Work

• 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
• 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

This page was built for publication: Contexts, refinement and determinism