On Characterising Distributability
From MaRDI portal
Publication:2848362
DOI10.2168/LMCS-9(3:17)2013zbMath1274.68261arXiv1309.3883OpenAlexW1994396286MaRDI QIDQ2848362
Jens-Wolfhard Schicke-Uffmann, Goltz, Ursula, Robert J. van Glabbeek
Publication date: 26 September 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1309.3883
distributed systemsPetri netsconcurrencyreactive systemssemantic equivalencesasynchronous interaction
Related Items (11)
Unnamed Item ⋮ Synchronous and asynchronous communication(s) between three parties ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Unnamed Item ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Conflict vs causality in event structures ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ A two-player asynchronous game on fully observable Petri nets ⋮ Abstract processes and conflicts in place/transition systems ⋮ k-Bounded Petri Net Synthesis from Modal Transition Systems.
This page was built for publication: On Characterising Distributability