Publication:4038690
From MaRDI portal
zbMath0766.68036MaRDI QIDQ4038690
Publication date: 18 May 1993
state; concurrency; operational model of concurrent processes; operational model of pure functional programming
DB lookup for MSC labels failed
Related Items
Computational interpretations of linear logic, Conditional rewriting logic as a unified model of concurrency, The chemical abstract machine, A calculus of mobile processes. I, Reaction graph, Process calculus based upon evaluation to committed form, An internal language for autonomous categories, Label-selective \(\lambda\)-calculus syntax and confluence, Asynchronous communication model based on linear logic, Functions as processes