View of On decidability properties of two fragments of the asynchronous π-calculus | Ingeniería y Competitividad

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