No. 21 (2004): RS-21 New-HOPLA--A Higher-Order Process Language with Name Generation

Published: 2004-01-21

Articles