Hostname: page-component-6bf8c574d5-xtvcr Total loading time: 0 Render date: 2025-02-21T04:40:00.465Z Has data issue: false hasContentIssue false

Elementary structures in process theory (1): Sets with renaming

Published online by Cambridge University Press:  10 November 2000

KOHEI HONDA
Affiliation:
Department of Computer Science, Queen Mary and Westfield College, University of London, E1 4NS, London, U.K.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We study a general algebraic framework that underlies a wide range of computational formalisms that use the notion of names, notably process calculi. The algebraic framework gives a rigorous basis for describing and reasoning about processes semantically, as well as offering new insights into existing constructions. The formal status of the theory is elucidated by introducing its alternative presentation, which is geometric in nature and is based on explicit manipulation of connections among nameless processes. Nameless processes and their relational theory form a coherent universe in their own right, which underlies existing graphical formalisms such as proof nets. We establish the formal equivalence between these two presentations, and illustrate how they can be used complementarily for the precise and effective description of diverse algebras and the dynamics of processes through examples.

Type
Research Article
Copyright
2000 Cambridge University Press