Results 11 to 20 of about 5,530,700 (284)
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
core +12 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
Decomposition Structures for Event-B [PDF]
, 2009 Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented with additional structuring to support further the management of complex refinements.
Butler, Michael, Michael Butler
openaire +3 more sources
Event structures and domains [PDF]
Theoretical Computer Science, 1989 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Droste, Manfred
openaire +3 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 +1 more source
A post-pandemic reflection of the changing role of contemporary event professionals: Implications for event professionals and higher education [PDF]
, 2023 While the event, tourism, and hospitality industry is constantly evolving, COVID-19 vastly shifted the roles, responsibilities, and jobs for event professionals, which caused event management educators to reevaluate their curriculum and course offerings.
Savannah Kay Kramer +7 more
core +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
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 +1 more source
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