A UTP semantics for \textsf{Circus}
type: Item
instance of: scholarly article
title: A UTP semantics for \textsf{Circus}
zbMATH Open document ID: 1165.68048
author: Ana Cavalcanti
author: Marcel V. M. Oliveira
author: Jim Woodcock
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: 5558112
zbMATH Keywords: relational model
zbMATH Keywords: concurrency
zbMATH Keywords: refinement calculus
zbMATH Keywords: theorem proving
describes a project that uses: Z/EVES
describes a project that uses: ZRC
describes a project that uses: Circus
describes a project that uses: Z
describes a project that uses: ProofPower
MaRDI profile type: Publication
full work available at URL: s00165-007-0052-5
OpenAlex ID: W1976054113
cites work: Q4436966
cites work: A refinement strategy for Circus
cites work: ZRC -- A refinement calculus for \(Z\)
cites work: Q4144755
cites work: Q4680192
cites work: Q3777424
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: Q4301161
cites work: Mechanising a Unifying Theory
cites work: Unifying Theories in ProofPower-Z
cites work: Q4494259
cites work: Q4472182
cites work: FM 2005: Formal Methods
cites work: Q4301167
DOI: 10.1007/S00165-007-0052-5
description: scientific article; zbMATH DE number 5558112