Three Approaches to Timed External Choice in UTP

DOI10.1007/978-3-319-14806-9_1MaRDI QIDQ2814612zbMATH OpenOpenAlexFDO

Authors Samuel Canham, Jim 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

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

Recommendations

• Time bounds for decision problems in the presence of timing uncertainty and failures
• UTP and temporal logic model checking
• Timed scenarios: consistency, equivalence and optimization
• Combining free choice and time in Petri nets
• A UTP approach for rTiMo
• Optimization analysis of the three‐level time schemes
• A uniform framework for timed automata
• A decidable timeout-based extension of linear temporal logic
• scientific article; zbMATH DE number 1759782
• A framework for timed concurrent constraint programming with external functions

Cites work

• Circus Time with Reactive Designs
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 2080001 (Why is no real title available?)
• On timed models and full abstraction

Cited in

(3)

• Unifying theories of reactive design contracts
• A stepwise approach to linking theories
• UTP, \textsf{\textit{Circus}}, and Isabelle

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814612)