Retracing some paths in Process Algebra
Logic in Computer Science
2014-01-22 v1
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
Cite
@article{arxiv.1401.5113,
title = {Retracing some paths in Process Algebra},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:1401.5113},
year = {2014}
}
Comments
17 pages