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]

Authors

Thomas Troels Hildebrandt

This author has not been identified. Look up 'Thomas Troels Hildebrandt' in Google

Christian Johansen

This author has not been identified. Look up 'Christian Johansen' in Google

Håkon Normann

This author has not been identified. Look up 'Håkon Normann' in Google