Linearity in Process Languages
AbstractThe meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affine-linear logic. This connection yields an affine-linear language for processes, automatically respecting open-map bisimulation, in which a range of process operations can be expressed. An operational semantics is provided for the tensor fragment of the language. Different ways to make assemblies of processes lead to different choices of exponential, some of which respect bisimulation.
How to Cite
Nygaard, M., & Winskel, G. (2002). Linearity in Process Languages. BRICS Report Series, 9(48). https://doi.org/10.7146/brics.v9i48.21763
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.