Results 11 to 20 of about 2,124,868 (293)
Configuration structures, event structures and Petri nets [PDF]
Theoretical Computer Science, 2009 Contributed to the Festschrift for Mogens Nielsen's 60th ...
van Glabbeek, R.J., Plotkin, Gordon
openaire +4 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
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 +1 more source
Towards a Categorical Representation of Reversible Event Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency.
Eva Graversen +2 more
doaj +1 more source
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.
Baldan P., Raffaeta A.
openaire +6 more sources
Knowledge-Based Synthesis of Distributed Systems Using Event Structures [PDF]
Logical Methods in Computer Science, 2011 To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a
Mark Bickford +3 more
doaj +1 more source
Detection of hierarchical crowd activity structures in geographic point data [PDF]
PeerJ Computer Science, 2022 The pervasive adoption of GPS-enabled sensors has lead to an explosion on the amount of geolocated data that captures a wide range of social interactions.
J. Miguel Salazar +2 more
doaj +2 more sources
Event Structures and Biennial Culture: Oreste at the Biennale
OBOE, 2020 Over the century from 1895 to 1999, we can measure the impact of biennials on themselves, and on the emergence of increasingly social forms of contemporary art.
Caroline A. Jones
doaj +1 more source
Frontiers in Earth Science, 2023 The 2022 Ms6.0 Maerkang earthquake sequence, Sichuan, China, occurred in an unexpected area with historically rare seismicity in the Bayan Har block. Here we relocated the earthquake sequence, inverted for the focal mechanisms of the larger events, and ...
Long Feng +7 more
doaj +1 more source
A Nice Labelling for Tree-Like Event Structures of Degree 3 [PDF]
, 2007 We address the problem of finding nice labellings for event structures of degree 3. We develop a minimum theory by which we prove that the labelling number of an event structure of degree 3 is bounded by a linear function of the height.
Santocanale, Luigi
core +3 more sources