Hildebrandt, Thomas Troels
Johansen, Christian
Normann, Håkon
Funding for this research was provided by:
Velux Fonden (248113/O70, 33295)
Norges Forskningsråd
This article is maintained by: Elsevier
Article Title: A stable non-interleaving early operational semantics for the pi-calculus
Journal Title: Journal of Logical and Algebraic Methods in Programming
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jlamp.2019.02.006
Content Type: article
Copyright: © 2019 The Authors. Published by Elsevier Inc.