A stable non-interleaving early operational semantics for the pi-calculus

Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann. A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logic and Algebraic Programming, 104:227-253, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: