Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:doaj.org/article:bf455809fb3a421185d4c65664b62986

Unique Parallel Decomposition for the Pi-calculus

Authors
Publication date
1 August 2016
Publisher
'Open Publishing Association'
Doi

    Abstract

    A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this paper we prove that finite processes of the pi-calculus, i.e. processes that perform no infinite executions, satisfy this property modulo strong bisimilarity and weak bisimilarity. Our results are obtained by an application of a general technique for establishing unique parallel decomposition using decomposition orders

    Similar works

    Full text

    thumbnail-image

    Directory of Open Access Journals

    redirect
    oaioai:doaj.org/article:bf455809f...
    Last time updated on 12/10/2017

    This paper was published in Directory of Open Access Journals.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.