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

DOI10.1016/J.ENTCS.2008.06.013zbMath1283.68254DBLPjournals/entcs/ReevesS08aOpenAlexW2081192801WikidataQ59651691 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

determinismoperational semanticsrefinementstate-basedevent-based

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

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

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

This page was built for publication: General Refinement, Part One: Interfaces, Determinism and Special Refinement