Add to ORKGEvent 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 languages with higher types
Event structures have been used for giving true concurrent semantics to languages and models of conc...
A flexible abstraction mechanism for models of concurrency, which allows systems which "look the sam...
AbstractIn this paper the correspondence between safe Petri nets and event structures, due to Nielse...
AbstractIn this paper we address the following question: What type of event structures are suitable ...
Abstractcategory of event structures with symmetry is introduced and its categorical properties inve...
In the context of communicating parallel process systems various paradigma for communication resp. s...
AbstractIn the theory of denotational semantics, we study event structures which generalize Kahn and...
AbstractEvent structures are a poset-based model for describing the behaviour of distributed systems...
Event structures are a poset-based model for describing the behaviour of distributed systems. They g...
Event structures are a well-accepted model of concurrency. In a seminal paperby Nielsen, Plotkin and...
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where tr...
AbstractA compositional semantics for nondeterministic dataflow processes is described using spans o...
AbstractWe present an event structure semantics for contextual nets, an extension of P/T Petri nets ...
We study prime event structures as models for nondeterministic processes and some of their propertie...
Published in print by Universitätsverlag der TU Berlin, ISBN 978-3-7983-2995-9, ISSN 2199-5249.Event...
Event structures have been used for giving true concurrent semantics to languages and models of conc...
A flexible abstraction mechanism for models of concurrency, which allows systems which "look the sam...
AbstractIn this paper the correspondence between safe Petri nets and event structures, due to Nielse...
AbstractIn this paper we address the following question: What type of event structures are suitable ...
Abstractcategory of event structures with symmetry is introduced and its categorical properties inve...
In the context of communicating parallel process systems various paradigma for communication resp. s...
AbstractIn the theory of denotational semantics, we study event structures which generalize Kahn and...
AbstractEvent structures are a poset-based model for describing the behaviour of distributed systems...
Event structures are a poset-based model for describing the behaviour of distributed systems. They g...
Event structures are a well-accepted model of concurrency. In a seminal paperby Nielsen, Plotkin and...
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where tr...
AbstractA compositional semantics for nondeterministic dataflow processes is described using spans o...
AbstractWe present an event structure semantics for contextual nets, an extension of P/T Petri nets ...
We study prime event structures as models for nondeterministic processes and some of their propertie...
Published in print by Universitätsverlag der TU Berlin, ISBN 978-3-7983-2995-9, ISSN 2199-5249.Event...
Event structures have been used for giving true concurrent semantics to languages and models of conc...
A flexible abstraction mechanism for models of concurrency, which allows systems which "look the sam...
AbstractIn this paper the correspondence between safe Petri nets and event structures, due to Nielse...