scientific article; zbMATH DE number 1487738
From MaRDI portal
Publication:4494250
zbMath0963.68126MaRDI QIDQ4494250
Christie Bolton, Jim Davies, J. C. P. Woodcock
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Incompleteness of relational simulations in the blocking paradigm ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Completeness of ASM Refinement ⋮ Completeness of fair ASM refinement ⋮ Checking Z Data Refinements Using Traces Refinement ⋮ ASM refinement and generalizations of forward simulation in data refinement: a comparison ⋮ Relational concurrent refinement. II: Internal operations and outputs
This page was built for publication:
