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]

No reviews for this publication, yet.