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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.