Results 1 to 10 of about 424,581 (304)
An introduction to event structures
Lecture Notes in Computer Science, 1989 Event structures are models of processes as events constrained by relations of consistency and enabling. These notes are intended to introduce the mathematical theory of event structures, show how they are related to Petri nets and Scott domains, and how they can be used to provide semantics to programming languages for parallel processes as well as ...
Glynn Winskel, Winskel Glynn
exaly +4 more sources
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 ...
Irek Ulidowski +2 more
openalex +3 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
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 +8 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
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 +4 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 +8 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 +2 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 +3 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