On the Decidability of Fragments of the Asynchronous pi-Calculus

Roberto M. Amadio, Charles Meyssonnier. On the Decidability of Fragments of the Asynchronous pi-Calculus. Electronic Notes in Theoretical Computer Science, 52(1):66-82, 2001. [doi]

Abstract

Abstract is missing.