Angelicism in the Theory of Reactive Processes (Q2814614)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Angelicism in the Theory of Reactive Processes |
scientific article |
Statements
Angelicism in the Theory of Reactive Processes (English)
0 references
22 June 2016
0 references
formal specification
0 references
reactive processes
0 references
CSP
0 references
UTP
0 references