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.

Comment: arXiv admin note: substantial text overlap with arXiv:1207.3597

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

Source: arXiv.org:1309.3883

Volume: Volume 9, Issue 3

Secondary volumes: Selected Papers of the 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2012)

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

Classifications

Mathematics Subject Classification 2020¹

68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Sources:

[1] zbMATH Open.

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, 2021, A Two-Player Asynchronous Game on Fully Observable Petri Nets, Lecture notes in computer science, pp. 126-149, 10.1007/978-3-662-63079-2_6.

Meriem Ouederni, 2021, Compatibility checking for asynchronously communicating software, Science of Computer Programming, 205, pp. 102569, 10.1016/j.scico.2020.102569.

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, http://arxiv.org/abs/2103.01490.

Daniele Gorla;Ivano Salvo, 2020, Conflict vs causality in event structures, Journal of Logical and Algebraic Methods in Programming, 119, pp. 100631, 10.1016/j.jlamp.2020.100631.

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, Electronic Proceedings in Theoretical Computer Science, 300, pp. 86-101, 10.4204/eptcs.300.6, https://doi.org/10.4204/eptcs.300.6.

Rob van Glabbeek, 2019, Ensuring liveness properties of distributed systems: Open problems, arXiv (Cornell University), 109, pp. 100480, 10.1016/j.jlamp.2019.100480, http://arxiv.org/abs/1912.05616.

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

Stephan Mennicke;Jens-Wolfhard Schicke-Uffmann;Ursula Goltz, 2014, On the Step Branching Time Closure of Free-Choice Petri Nets, Lecture notes in computer science, pp. 232-248, 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 3498 times.

This article's PDF has been downloaded 532 times.