Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
Theoretical Computer Science
On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
An event structure semantics for general Petri nets
Theoretical Computer Science - Special volume on Petri nets
Information and Computation
Zero-safe nets: comparing the collective and individual token approaches
Information and Computation - Special issue on EXPRESS 1997
Journal of Computer and System Sciences
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Flow Event Structures and Flow Nets
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Geometric Logic, Causality and Event Structures
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited
Mathematical Structures in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Relational structures model of concurrency
Acta Informatica
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
WMC'07 Proceedings of the 8th international conference on Membrane computing
Process semantics for membrane systems
Journal of Automata, Languages and Combinatorics
| Hi-index | 0.00 |
Various brand of event structures, prime, bundle, flow, asymmetric, inhibitor just to mention some, have been proposed to face the various kinds of causality and conflict arising in computation The notion of simultaneity, i.e., the faithful representation that certain events have to occur together, is usually left out from the models for concurrent computations, with some notably exceptions like Pratt's Chu spaces or Bruni&Montanari's Zero-Safe nets In this paper we propose a notion of event structures with simultaneity to take into account the simultaneity and we relate the introduced notion with the prime event structures and domains.