Back to Results
First PageMeta Content
Mathematics / Logic / Theoretical computer science / Automated theorem proving / Logic programming / Abstraction / Process calculi / -calculus / Substitution / Inverse trigonometric functions / Lambert W function


• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions
Add to Reading List

Document Date: 2002-07-22 03:56:39


Open Document

File Size: 267,23 KB

Share Result on Facebook