Part 1: Computational ModelsInternational audienceEvent Structures where the causality may change dynamically have been introduced recently. In this kind of Event Structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major rôle, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which ...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
International audienceThis paper introduces a new model of event handling combining explicitly trigg...
We propose a model of events with circular causality, in the form of a conservative extension of Win...
Part 1: Computational ModelsInternational audienceEvent Structures where the causality may change dy...
Part 2: Formal Models of Concurrent and Distributed SystemsInternational audienceEvent Structures (E...
Part 8: ModellingInternational audienceThe execution of an event in a complex and distributed system...
The execution of an event in a complex and distributed system where thedependencies vary during the ...
International audienceIn the simplest form of event structure, a prime event structure, an event is ...
This paper expands on the theory of event structures put forward in previous work by further investi...
International audienceIn proof systems and conceptual modelling, context-awareness should be pre- ci...
International audienceContext-awareness is an important feature in system design. We argue th...
Causality is often interpreted as establishing dependencies between events. The standard view is tha...
The purpose of this chapter is to discuss conceptual event modeling within a context of information ...
Event structure models often have some constraint which ensures that for each system run it is clear...
Event structures represent concurrent processes in terms of events and dependency relations between ...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
International audienceThis paper introduces a new model of event handling combining explicitly trigg...
We propose a model of events with circular causality, in the form of a conservative extension of Win...
Part 1: Computational ModelsInternational audienceEvent Structures where the causality may change dy...
Part 2: Formal Models of Concurrent and Distributed SystemsInternational audienceEvent Structures (E...
Part 8: ModellingInternational audienceThe execution of an event in a complex and distributed system...
The execution of an event in a complex and distributed system where thedependencies vary during the ...
International audienceIn the simplest form of event structure, a prime event structure, an event is ...
This paper expands on the theory of event structures put forward in previous work by further investi...
International audienceIn proof systems and conceptual modelling, context-awareness should be pre- ci...
International audienceContext-awareness is an important feature in system design. We argue th...
Causality is often interpreted as establishing dependencies between events. The standard view is tha...
The purpose of this chapter is to discuss conceptual event modeling within a context of information ...
Event structure models often have some constraint which ensures that for each system run it is clear...
Event structures represent concurrent processes in terms of events and dependency relations between ...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
International audienceThis paper introduces a new model of event handling combining explicitly trigg...
We propose a model of events with circular causality, in the form of a conservative extension of Win...