Uffe H. Engberg;Mogens Nielsen
-;-
A Well-behaved LTS for the Pi-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)