An exercise in structural congruence

https://doi.org/10.1016/j.ipl.2006.08.001Get rights and content

Abstract

Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space.

References (18)

There are more references available in the full text version of this article.

Cited by (5)

View full text