Results 1 to 10 of about 2,115,111 (294)
Adding Priority to Event Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Event Structures (ESs) are mainly concerned with the representation of causal relationships between events, usually accompanied by other event relations capturing conflicts and disabling. Among the most prominent variants of ESs are Prime ESs, Bundle ESs,
Youssef Arbach +2 more
doaj +8 more sources
Conflict vs Causality in Event Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the literature.
Daniele Gorla +2 more
doaj +5 more sources
Event Structures for Petri nets with Persistence [PDF]
Logical Methods in Computer Science, 2018 Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri.
Paolo Baldan +5 more
doaj +7 more sources
Kickoff to conflict: a sequence analysis of intra-state conflict-preceding event structures. [PDF]
PLoS ONE, 2015 While many studies have suggested or assumed that the periods preceding the onset of intra-state conflict are similar across time and space, few have empirically tested this proposition.
Vito D'Orazio, James E Yonamine
doaj +2 more sources
Representing Dependencies in Event Structures [PDF]
Logical Methods in Computer Science, 2020 Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove ...
G. Michele Pinna
doaj +6 more sources
Generalized event structures and probabilities [PDF]
, 2016 For the classical mind, quantum mechanics is boggling enough; nevertheless more bizarre behavior could be imagined, thereby concentrating on propositional structures (empirical logics) that transcend the quantum domain.
Svozil, Karl
core +2 more sources
A new operational representation of dependencies in Event Structures [PDF]
Logical Methods in Computer Science, 2021 The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures.
G. Michele Pinna
doaj +1 more source
Causal Unfoldings and Disjunctive Causes [PDF]
Logical Methods in Computer Science, 2023 In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to have disjunctive causes in that it can be enabled by any one of multiple ...
Marc de Visme, Glynn Winskel
doaj +1 more source
Reversing Event Structures [PDF]
New Generation Computing, 2018 Reversible computation has attracted increasing interest in recent years. In this paper, we show how to model reversibility in concurrent computation as realised abstractly in terms of event structures. Two different forms of event structures are considered, namely event structures defined by causation and prevention relations and event structures ...
Ulidowski, I, Phillips, I, Yuen, S
openaire +3 more sources
Dynamic Causality in Event Structures [PDF]
Logical Methods in Computer Science, 2018 Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict.
Youssef Arbach +3 more
doaj +1 more source