Retracing some paths in Process Algebra

Preprint

20 January 2014

preprint
Published by arXiv in arXiv

https://doi.org/10.48550/arXiv.1401.5113

Abstract

We use traced monoidal categories to give a precise general version of "geometry of interaction". We give a number of examples of both "particle-style" and "wave-style" instances of this construction. We relate these ideas to semantics of computation.

Keywords

MONOIDAL CATEGORIES
PRECISE GENERAL
GENERAL VERSION
PROCESS ALGEBRA
PARTICLE STYLE
USE TRACED
SEMANTICS
RETRACING
GEOMETRY

All Related Versions

Version 1, 2014-01-20, ArXiv

This publication has 0 references indexed in Scilit: