On Characterising Distributability

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

doi:10.2168/LMCS-9(3:17)2013

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.

https://doi.org/10.2168/LMCS-9(3:17)2013

Source: arXiv.org:1309.3883

Volume: Volume 9, Issue 3

Published on: September 17, 2013

Imported on: July 22, 2012

Keywords: Computer Science - Logic in Computer Science

Licence: arXiv.org - Non-exclusive license to distribute

Bibliographic References

11 Documents citing this article

Juan Sebastian Sosa;Paul Leger;Hiroaki Fukuda;Nicolás Cardozo, 2022, Ad hoc systems management and specification with distributed Petri nets, Journal of Parallel and Distributed Computing, 169, pp. 117-129, 10.1016/j.jpdc.2022.06.015.

Paolo Baldan;Daniele Gorla;Tommaso Padoan;Ivano Salvo, 2022, Characterising spectra of equivalences for event structures, logically, Information and Computation, 285, pp. 104887, 10.1016/j.ic.2022.104887.

Federica Adobbati;Luca Bernardinello;Lucia Pomello, Lecture notes in computer science, A Two-Player Asynchronous Game on Fully Observable Petri Nets, pp. 126-149, 2021, 10.1007/978-3-662-63079-2_6, https://doi.org/10.1007/978-3-662-63079-2_6.

Meriem Ouederni;Gwen Salaün;Tevfik Bultan, 2021, Compatibility checking for asynchronously communicating software, 205, pp. 102569, 10.1016/j.scico.2020.102569, https://hal.inria.fr/hal-00913665.

Rob van Glabbeek;Ursula Goltz;Jens-Wolfhard Schicke-Uffmann, 2021, Abstract processes and conflicts in place/transition systems, arXiv (Cornell University), 281, pp. 104706, 10.1016/j.ic.2021.104706, https://arxiv.org/abs/2103.01490.

Daniele Gorla;Ivano Salvo, 2020, Conflict vs causality in event structures, IRIS Research product catalog (Sapienza University of Rome), 119, pp. 100631, 10.1016/j.jlamp.2020.100631, https://hdl.handle.net/11573/1311148.

Ursula Goltz;Jens-W. Schicke-Uffmann, 2020, Synchronous and asynchronous communication(s) between three parties, Acta Informatica, 57, 3-5, pp. 313-320, 10.1007/s00236-020-00381-8.

Daniele Gorla;Ivano Salvo;Adolfo Piperno, 2019, Conflict vs Causality in Event Structures, arXiv (Cornell University), 300, pp. 86-101, 10.4204/eptcs.300.6.

Rob van Glabbeek, 2019, Ensuring liveness properties of distributed systems: Open problems, Journal of Logical and Algebraic Methods in Programming, 109, pp. 100480, 10.1016/j.jlamp.2019.100480, https://doi.org/10.1016/j.jlamp.2019.100480.

Roberto Bruni;Hernán Melgratti;Ugo Montanari, CINECA IRIS Institutial research information system (University of Pisa), Concurrency and Probability, 53, pp. 195-204, 2018, Oxford United Kingdom, 10.1145/3209108.3209202, https://hdl.handle.net/11568/958417.

Stephan Mennicke;Jens-Wolfhard Schicke-Uffmann;Ursula Goltz, Lecture notes in computer science, On the Step Branching Time Closure of Free-Choice Petri Nets, pp. 232-248, 2014, 10.1007/978-3-662-43613-4_15, https://doi.org/10.1007/978-3-662-43613-4_15.

Sources : OpenCitations, OpenAlex & Crossref

Share and export

Consultation statistics

This page has been seen 1643 times.

This article's PDF has been downloaded 352 times.