Browsing by Subject "concurrency"
Now showing items 1-2 of 2
-
First-Order Reasoning for Higher-Order Concurrency.
(2012)We present a practical first-order theory of a higher-order pi-calculus which is both sound and complete with respect to a standard semantic equivalence. The theory is a product of combining and simplifying two of the most ... -
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
(IEEE Computer Society, 2016)