Relational concurrent refinement. II: Internal operations and outputs
type: Item
instance of: scholarly article
title: Relational concurrent refinement. II: Internal operations and outputs
zbMATH Open document ID: 1165.68412
author: John Derrick
author: Gerhard Schellhorn
author: Eerke Boiten
published in: Formal Aspects of Computing
publication date: 2009-05-27T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5558114
zbMATH Keywords: data refinement
zbMATH Keywords: Z
zbMATH Keywords: simulations, process algebraic semantics
zbMATH Keywords: failures-divergences refinement
zbMATH Keywords: deadlock
zbMATH Keywords: internal operations
zbMATH Keywords: outputs
zbMATH Keywords: mechanisation
zbMATH Keywords: KIV
cites work: LOTOS
cites work: The B-Book
cites work: Q4494250
cites work: Relational algebraic semantics of deterministic and nondeterministic programs
cites work: A Theory of Communicating Sequential Processes
cites work: Unifying concurrent and relational refinement
cites work: Q4737562
cites work: A singleton failures semantics for communicating sequential processes
cites work: Q5200808
cites work: A hierarchy of failures-based models
cites work: A hierarchy of failures-based models: theory and application
cites work: Q3680258
cites work: Specifying and refining internal operations in \(Z\)
cites work: Q2724177
cites work: Relational concurrent refinement
cites work: An analysis of refinement in an abortive paradigm
cites work: Data Refinement
cites work: ZB 2005: Formal Specification and Development in Z and B
cites work: Process simulation and refinement
cites work: A theory of communicating processes with value passing
cites work: Q3777424
cites work: A state-based approach to communicating processes
cites work: Q3992568
cites work: CONFLICTS AND FAIR TESTING
cites work: Q4524764
cites work: ASM refinement and generalizations of forward simulation in data refinement: a comparison
cites work: CSP theorems for communicating B machines
cites work: Q4412485
cites work: Compositional failure-based semantic models for basic LOTOS
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Q4301167
describes a project that uses: LOTOS
describes a project that uses: KIV
describes a project that uses: Z
MaRDI profile type: Publication
full work available at URL: s00165-007-0066-z
OpenAlex ID: W2111901968
DOI: 10.1007/S00165-007-0066-Z
description: scientific article; zbMATH DE number 5558114