General Refinement, Part One: Interfaces, Determinism and Special Refinement

DOI10.1016/j.entcs.2008.06.013zbMath1283.68254WikidataQ59651691 ScholiaQ59651691MaRDI QIDQ5403470

David Streader, Steve Reeves

Publication date: 26 March 2014

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.2008.06.013

zbMATH Keywords

determinism; operational semantics; refinement; state-based; event-based

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Building Specifications in the Event-B Institution, General Refinement, Part Two: Flexible Refinement, Guarded Operations, Refinement and Simulation

Uses Software

• Z

Cites Work

• Contexts, refinement and determinism
• Relational concurrent refinement
• Forward and backward simulations. I. Untimed Systems
• 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
• Process Algebra
• The B-Book
• Data Refinement
• General Refinement, Part Two: Flexible Refinement
• 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