Superposition refinement of reactive systems
type: Item
instance of: scholarly article
title: Superposition refinement of reactive systems
zbMATH Open document ID: 0852.68008
DOI: 10.1007/BF01214918
author: Ralph-Johan Back
author: K. Sere
published in: Formal Aspects of Computing
publication date: 1996-07-23T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 907984
zbMATH Keywords: superposition refinement
zbMATH Keywords: reactive systems
zbMATH Keywords: refinement calculus
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Q3898009
cites work: A calculus of refinements for program derivations
cites work: Stepwise refinement of parallel algorithms
cites work: Q4028640
cites work: Q4692502
cites work: Q4144755
cites work: On-the-fly garbage collection
cites work: The specification statement
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: A Methodology for Developing Distributed Programs
description: scientific article; zbMATH DE number 907984