Three Approaches to Timed External Choice in UTP

DOI10.1007/978-3-319-14806-9_1zbMath1457.68059OpenAlexW2112801462MaRDI QIDQ2814612

Samuel Canham, J. C. P. Woodcock

Publication date: 22 June 2016

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-14806-9_1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A Stepwise Approach to Linking Theories ⋮ Unifying theories of reactive design contracts

Cites Work

• Circus Time with Reactive Designs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Three Approaches to Timed External Choice in UTP