In recent years the consideration that events in evolutions of concurrent systems can happen with different histories has received ground. In particular the possibility that part of the history can be abstracted away or identified, like in the collective tokens philosophy for Petri Nets, has gained the stage. The various brands of event structures considered in literature are tailored to a fixed interpretation with respect to the history of an event. We investigate the adequateness of event structures with a disabling/enabling relation, to settle a common ground for the history dependent and history independent interpretations, and we establish a relationship between event automata and these notions of event structures
Reversible computation has attracted increasing interest in recent years. In this paper, we show how...
The execution of an event in a complex and distributed system where the dependencies vary during the...
Event structures are fundamental models in concurrency theory, providing a representation of events ...
In recent years the consideration that events in evolutions of concurrent systems can happen with di...
Event structures represent concurrent processes in terms of events and dependency relations between ...
Event structures are a well-accepted model of concurrency. In a seminal paperby Nielsen, Plotkin and...
AbstractWe introduce yet another event-based formalism, that of event automata, which unifies variou...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
We introduce yet another event-based formalism, that of event automata, which unifies various concep...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
Event structures are models of processes as events constrained by relations of consistency and enab...
AbstractIn this paper we address the following question: What type of event structures are suitable ...
AbstractEvent structures have come to play an important role in the formal study of the behaviour of...
In 1959, Muller and Bartky published a celebrated paper on "A Theory of Asynchronous Circuits&q...
In this paper we present history-dependent automata (HD-automata in brief). They are an extension of...
Reversible computation has attracted increasing interest in recent years. In this paper, we show how...
The execution of an event in a complex and distributed system where the dependencies vary during the...
Event structures are fundamental models in concurrency theory, providing a representation of events ...
In recent years the consideration that events in evolutions of concurrent systems can happen with di...
Event structures represent concurrent processes in terms of events and dependency relations between ...
Event structures are a well-accepted model of concurrency. In a seminal paperby Nielsen, Plotkin and...
AbstractWe introduce yet another event-based formalism, that of event automata, which unifies variou...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
We introduce yet another event-based formalism, that of event automata, which unifies various concep...
Event structures are one of the best known models for concurrency. Many variants of the basic model ...
Event structures are models of processes as events constrained by relations of consistency and enab...
AbstractIn this paper we address the following question: What type of event structures are suitable ...
AbstractEvent structures have come to play an important role in the formal study of the behaviour of...
In 1959, Muller and Bartky published a celebrated paper on "A Theory of Asynchronous Circuits&q...
In this paper we present history-dependent automata (HD-automata in brief). They are an extension of...
Reversible computation has attracted increasing interest in recent years. In this paper, we show how...
The execution of an event in a complex and distributed system where the dependencies vary during the...
Event structures are fundamental models in concurrency theory, providing a representation of events ...