Rob J. van Glabbeek ; Ursula Goltz ; Jens-Wolfhard Schicke-Uffmann - On Characterising Distributability

lmcs:910 - Logical Methods in Computer Science, September 17, 2013, Volume 9, Issue 3 - https://doi.org/10.2168/LMCS-9(3:17)2013
On Characterising DistributabilityArticle

Authors: Rob J. van Glabbeek ; Ursula Goltz ; Jens-Wolfhard Schicke-Uffmann

    We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be implemented as LSGA nets up to branching ST-bisimilarity with explicit divergence.


    Volume: Volume 9, Issue 3
    Published on: September 17, 2013
    Imported on: July 22, 2012
    Keywords: Computer Science - Logic in Computer Science

    11 Documents citing this article

    Consultation statistics

    This page has been seen 1099 times.
    This article's PDF has been downloaded 284 times.