uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Computer Systems. (Mobility)ORCID iD: 0000-0003-0174-9032
1998 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.

The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. In addition fusion contains actions akin to updating a shared state, and a scoping construct for bounding their effects. Therefore it is easier to represent computational models with shared state, including concurrent constraint formalisms. It is also easy to represent the so called strong reduction strategies in the Λ-calculus, involving reduction under abstraction. In the π-calculus thesetasks require elaborate encodings.

The fusion calculus simplifies the π-calculus by reducing the number of binding operators and the number of bisimulation equivalences, and by making input and output symmetric like in pure CCS. We attain a calculus where concepts from other models of computation are more easily expressed than in the π-calculus, thereby taking a step towards a unified yet simple model of computation.

In this thesis we present a broad foundational theory of the fusion calculus. We define its labelled and unlabelled operational semantics, and treat strong and weak bisimulation equivalences for both semantics in some detail, including complete axiom systems for finite terms. The equivalences are given symbolic characterisations, leading to algorithms and an automatic tool for equivalence checking. We demonstrate the expressive power of the fusion calculus to give simple encodings of foundational calculi for functional and concurrent constraint programming.

Place, publisher, year, edition, pages
Department of Computer Systems, Uppsala University , 1998. , 148 p.
DoCS, ISSN 0283-0574 ; 98
National Category
Computer Engineering
Research subject
Computer Systems
URN: urn:nbn:se:uu:diva-1155ISBN: 99-2608240-8OAI: oai:DiVA.org:uu-1155DiVA: diva2:160705
Public defence
1998-06-04, Room 6159, Polacksbacken, Uppsala University, Uppsala, 10:00 (English)
Available from: 1998-05-14 Created: 1998-05-14 Last updated: 2016-02-25Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Victor, Björn
By organisation
Department of Computer Systems
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 569 hits
ReferencesLink to record
Permanent link

Direct link