Return to Article Details A Linear Metalanguage for Concurrency Download Download PDF