View of New-HOPLA--A Higher-Order Process Language with Name Generation

Return to Article Details New-HOPLA--A Higher-Order Process Language with Name Generation Download Download PDF