Introducing extra operations in refinement
type: Item
instance of: scholarly article
title: Introducing extra operations in refinement
zbMATH Open document ID: 1342.68204
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
full work available at URL: stutterfacv2withbibs.pdf
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6609545
zbMATH Keywords: refinement
zbMATH Keywords: action refinement
zbMATH Keywords: stuttering steps
zbMATH Keywords: ASM
zbMATH Keywords: Event-B
zbMATH Keywords: Z
zbMATH Keywords: internal operations
zbMATH Keywords: weak
zbMATH Keywords: granularity
zbMATH Keywords: perspicuity
zbMATH Keywords: divergence
author: Eerke Boiten
describes a project that uses: LOTOS
describes a project that uses: Z
MaRDI profile type: Publication
OpenAlex ID: W2000939935
cites work: Q3569584
cites work: Q4023588
cites work: Q5703804
cites work: A singleton failures semantics for communicating sequential processes
cites work: Modelling Divergence in Relational Concurrent Refinement
cites work: Incompleteness of relational simulations in the blocking paradigm
cites work: Relational concurrent refinement. II: Internal operations and outputs
cites work: Eternity variables to prove simulation of specifications
cites work: Atomic actions, and their refinements to isolated protocols
cites work: Q2724177
cites work: Specifying and refining internal operations in \(Z\)
cites work: Data Refinement
cites work: Q4436964
cites work: Q3713577
cites work: Q3777424
cites work: Q4301161
cites work: Data refinement and singleton failures refinement are not equivalent
cites work: ASM refinement and generalizations of forward simulation in data refinement: a comparison
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Program development by stepwise refinement
cites work: Q4301167
DOI: 10.1007/S00165-012-0266-Z
description: scientific article; zbMATH DE number 6609545