Winskel, G. A Linear Metalanguage for Concurrency. BRICS 1998, 5.