PiStache: implementing π-calculus in scala

• Author(s): Melo, Ana Cristina Vieira de
• Date: 2011
• Origin: Oasisbr
• Subject(s): SEMÂNTICA DE PROGRAMAÇÃO
• Document Type: Other
• Language: English