Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

✍ Scribed by Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia

• Book ID: 108126891
• Publisher: Elsevier Science
• Year: 2008
• Tongue: English
• Weight: 469 KB
• Volume: 194
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/j.entcs.2007.11.006