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

lmcs:910 - Logical Methods in Computer Science, September 17, 2013, Volume 9, Issue 3
On Characterising Distributability

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

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.


Source : oai:arXiv.org:1309.3883
DOI : 10.2168/LMCS-9(3:17)2013
Volume: Volume 9, Issue 3
Published on: September 17, 2013
Submitted on: June 25, 2015
Keywords: Computer Science - Logic in Computer Science


Share

Browsing statistics

This page has been seen 30 times.
This article's PDF has been downloaded 14 times.