Results 1 to 10 of about 3,761 (111)
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 +7 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 +10 more sources
Games and Strategies as Event Structures [PDF]
Logical Methods in Computer Science, 2017 In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau ...
Simon Castellan +3 more
doaj +9 more sources
Minimisation of event structures
Theoretical Computer Science, 2022 Event structures are fundamental models in concurrency theory, providing a representation of events in computation and of their relations, notably concurrency, conflict and causality. In this paper we present a theory of minimisation for event structures.
Paolo Baldan, Alessandra Raffaetà
exaly +7 more sources
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 +5 more sources
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science, 2007 Abstractcategory of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched.
Glynn Winskel
exaly +3 more sources
Topological Properties of Event Structures
Electronic Notes in Theoretical Computer Science, 2009 Motivated by the nice labelling problem for event structures, we study the topological properties of the associated graphs. For each n⩾0, we exhibit a graph Gn that cannot occur on an antichain as a subgraph of the graph of an event structure of degree n .
Luigi Santocanale
exaly +4 more sources
Configuration structures, event structures and Petri nets
Theoretical Computer Science, 2009 Contributed to the Festschrift for Mogens Nielsen's 60th ...
R J van Glabbeek
exaly +4 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