On Characterising Distributability
Logic in Computer Science
2015-07-01 v2
Abstract
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.
Keywords
Cite
@article{arxiv.1309.3883,
title = {On Characterising Distributability},
author = {Rob J. van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke-Uffmann},
journal= {arXiv preprint arXiv:1309.3883},
year = {2015}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1207.3597