View of On decidability properties of two fragments of the asynchronous π-calculus

Return to Article Details On decidability properties of two fragments of the asynchronous π-calculus Download Download PDF