A UTP semantics for Circus

Marcel Oliveira^*, Ana Lucia Caneca Cavalcanti, James Woodcock

^*Corresponding author for this work

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

102 Citations (Scopus)

Access to Document

@article{b8e2c536a83c44e8abd94a49fc0d1277,

title = "A UTP semantics for Circus",

author = "Marcel Oliveira and Cavalcanti, \{Ana Lucia Caneca\} and James Woodcock",

year = "2007",

month = dec,

day = "4",

doi = "10.1007/s00165-007-0052-5",

language = "English",

volume = "21",

pages = "3–32",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery",

}