A refinement strategy for Circus
type: Item
instance of: scholarly article
title: A refinement strategy for Circus
zbMATH Open document ID: 1093.68555
author: Ana Cavalcanti
author: Augusto Sampaio
author: Jim Woodcock
published in: Formal Aspects of Computing
publication date: 2005-02-08T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 2132400
zbMATH Keywords: Concurrency
zbMATH Keywords: CSP
zbMATH Keywords: Program development
zbMATH Keywords: Z
describes a project that uses: Circus
MaRDI profile type: Publication
full work available at URL: s00165-003-0006-5
OpenAlex ID: W2077325003
DOI: 10.1007/S00165-003-0006-5
description: scientific article; zbMATH DE number 2132400