UTP Semantics of Reactive Processes with Continuations

DOI10.1007/978-3-319-52228-9_6zbMath1483.68087OpenAlexW2570219238MaRDI QIDQ2971178

Gerard Ekembe Ngondi, J. C. P. Woodcock

Publication date: 4 April 2017

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

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

zbMATH Keywords

CSPdenotational semanticscontinuationsUTPreactive processes

Mathematics Subject Classification ID

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

Related Items (1)

Denotational semantics of channel mobility in UTP-CSP

Cites Work

• Continuations: A mathematical semantics for handling full jumps
• Representing Control: a Study of the CPS Transformation
• Mathematics of Program Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: UTP Semantics of Reactive Processes with Continuations