Results 11 to 20 of about 2,115,111 (294)
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
Graph Convolution Over Multiple Latent Context-Aware Graph Structures for Event Detection
IEEE Access, 2020 Event detection is a particularly challenging problem in information extraction. The current neural network models have proved that dependency tree can better capture the correlation between candidate trigger words and related context in the sentence ...
Lei Li +5 more
doaj +1 more source
Denotational, Causal, and Operational Determinism in Event Structures [PDF]
, 1995 Determinism is a theoretically and practically important concept in labelled transition systems and trees. We study its generalisation to event structures.
Rensink, Arend
core +5 more sources
On the Integration of Dative Adjuncts into Event Structures in Yapa Languages
Languages, 2021 Warlpiri and Warlmanpa (Ngumpin-Yapa languages of Australia) exhibit a complex predicate construction in which a class of preverbs introduces a single argument that is not shared by the argument structure of the inflecting verb, nor is there necessarily ...
Mitchell Browne
doaj +1 more source