2 results
Klaus Keimel ; Gordon D. Plotkin.
We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we establish functional representation theorems; and we show equivalencies between state transformers and appropriately […]
Published on January 24, 2017
Martín Abadi ; Gordon D. Plotkin.
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-based denotational semantics for this language; this […]
Published on October 20, 2010