Relating state-based and process-based concurrency through linear logic (full-version)

✍ Scribed by Iliano Cervesato; Andre Scedrov

• Book ID: 113641812
• Publisher: Elsevier Science
• Year: 2009
• Tongue: English
• Weight: 744 KB
• Volume: 207
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2008.11.006