UTP Semantics of Reactive Processes with Continuations (Q2971178)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | UTP Semantics of Reactive Processes with Continuations |
scientific article |
Statements
UTP Semantics of Reactive Processes with Continuations (English)
0 references
4 April 2017
0 references
continuations
0 references
denotational semantics
0 references
UTP
0 references
CSP
0 references
reactive processes
0 references
