Results 1  10
of
13
Contextual petri nets, asymmetric event structures and processes
 Information and Computation
, 2001
"... We present an event structure semantics for contextual nets, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (readonly operations). A basic rôle is played by asymmetric event structures, a generalization of Winskel’s prime event structure ..."
Abstract

Cited by 40 (15 self)
 Add to MetaCart
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (readonly operations). A basic rôle is played by asymmetric event structures, a generalization of Winskel’s prime event structures where symmetric conflict is replaced by a relation modelling asymmetric conflict or weak causality, used to represent a new kind of dependency between events arising in contextual nets. Extending Winskel’s seminal work on safe nets, the truly concurrent event based semantics of contextual nets is given at categorical level via a chain of coreflections
Causality for Mobile Processes
 In Proceedings of ICALP'95, LNCS 944
, 1995
"... Abstract. We study causality in the ßcalculus. Our notion of causality combines the dependencies given by the syntactic structure of processes with those originated by passing names. It turns out that two transitions not causally related may although occur in a fixed ordering in any computation, i. ..."
Abstract

Cited by 29 (18 self)
 Add to MetaCart
(Show Context)
Abstract. We study causality in the ßcalculus. Our notion of causality combines the dependencies given by the syntactic structure of processes with those originated by passing names. It turns out that two transitions not causally related may although occur in a fixed ordering in any computation, i.e., ßcalculus may express implicitly a priority between actions. Our causality relation still induces the same partial order of transitions for all the computations that are obtained by shuffling transitions that are concurrent (= related neither by causality nor by priority). The presentation takes advantage from a parametric definition of process behaviour that highlights the essence of the topic. All the results on bisimulation based equivalences, congruences, axiomatizations and logics are taken (almost) for free from the interleaving theory. 1 Introduction The study of the behaviour of a distributed system may benefit from knowledge on the causal relation between its events. For examp...
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
 PROC. FOSSACS98, NIVAT
, 1998
"... We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. The result is a generalization of Winskel’s work on safe nets: the event based s ..."
Abstract

Cited by 24 (15 self)
 Add to MetaCart
(Show Context)
We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. The result is a generalization of Winskel’s work on safe nets: the event based semantics is given at categorical level via a chain of coreflections leading from the category WSCN of weakly safe contextual nets to the category Dom of finitary prime algebraic domains. A fundamental rôle is played by the notion of asymmetric event structures that generalize Winskel’s prime event structures, following an idea similar to that of “possible flow ” introduced by Pinna and Poignè. Asymmetric event structures have the usual causal relation of traditional prime event structures, but replace the symmetric conflict with a relation modelling asymmetric conflict or weak causality. Such relation allows one to represent the new kind of dependency between events arising in contextual nets, as well as the usual symmetric conflict. Moreover it is used in a nontrivial way in the definition of the ordering of configurations, which is different from the standard setinclusion.
Models for Concurrency: Towards a Classification
 Theoretical Computer Science
, 1996
"... Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. In thi ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
(Show Context)
Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. In this paper, we move a step towards a classification of models for concurrency based on the parameters above. Formally, we choose a representative of any of the eight classes of models obtained by varying the three parameters, and we study the formal relationships between using the language of category theory.
A Simple, Expressive RealTime CCS
 In Proc. 2nd Australasian Conf. on Parallel & RealTime Systems
, 1994
"... We describe a new `realtime' process algebra with simple semantics but considerable expressivepower. It exhibits the advantages of both the `constraintoriented' and `marker variable' specification styles. The definition extends Milner's CCS, firstly with a simple notion of abso ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
We describe a new `realtime' process algebra with simple semantics but considerable expressivepower. It exhibits the advantages of both the `constraintoriented' and `marker variable' specification styles. The definition extends Milner's CCS, firstly with a simple notion of absolute time added to actions, and then with relative timing expressions which may refer to time markers.
Some Concurrency Models In A Categorical Framework (Extended Abstract)
 in: ICTCS’98, World Scientific
, 1998
"... CHIARA BODEI Dipartimento di Informatica, Universit`a di Pisa Corso Italia, 40, I56125 Pisa, Italy chiara@di.unipi.it The paper defines a taxonomy of concurrent models. Concurrent models are seen as categories and passages between models as functors. We particularly care about the notions of conc ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
CHIARA BODEI Dipartimento di Informatica, Universit`a di Pisa Corso Italia, 40, I56125 Pisa, Italy chiara@di.unipi.it The paper defines a taxonomy of concurrent models. Concurrent models are seen as categories and passages between models as functors. We particularly care about the notions of concurrency, causal and temporal dependencies and their possible different perception. According to the chosen model, only part of these notions are, indeed, relevant and recoverable from the observation of a concurrent system. 1 Introduction In the last decades a great deal of efforts have been devoted to study suitable models in order to describe concurrent and distributed systems and to understand their semantics. Several and heterogeneous models have been introduced, each focusing on a peculiar aspect of concurrency and laying at a particular description level. Categories, as in 1;2;3 , can help in classifying the different models and in formally characterizing the passages between them. ...
StateTransition Based Techniques for Specifying RealTime Systems: A Review
"... The specification, verification, design and implementation of realtime system is a major software engineering problem. While logical correctness is a major issue in the development of large and complex software systems, realtime system development demands that timing correctness be satisfied addit ..."
Abstract
 Add to MetaCart
The specification, verification, design and implementation of realtime system is a major software engineering problem. While logical correctness is a major issue in the development of large and complex software systems, realtime system development demands that timing correctness be satisfied additionally. Formal methods of specification and verification are imperative for this task, and there has been considerable research in the area for the past two decades. Of these, statetransition based techniques are numerous and welldeveloped. This paper attempts to compare the approaches taken by workers in the area and provide an introduction to the major issues facing a realtime system developer who wishes to use one of these formal methods.
Sheaf and Trace Models of Concurrency
, 1993
"... We relate sheaf and trace models of concurrency for an interacting community of objects with a discrete linear infinitary model of time. The sheaf model can be more easily generalized for other assumptions about time, and has broader connections to other models of concurrency. The traces model is mo ..."
Abstract
 Add to MetaCart
We relate sheaf and trace models of concurrency for an interacting community of objects with a discrete linear infinitary model of time. The sheaf model can be more easily generalized for other assumptions about time, and has broader connections to other models of concurrency. The traces model is more accessible, and is probably sufficient for modelling synchronous concurrency in practical objectoriented languages.
Hybrid Event Structures
, 1996
"... We describe an event structure model in which issues related to continuous systems can be studied. The event structure model for hybrid system consists of a continuous component and a discrete component which interact with each other via the usual enabling and conflict relations. The continuous comp ..."
Abstract
 Add to MetaCart
(Show Context)
We describe an event structure model in which issues related to continuous systems can be studied. The event structure model for hybrid system consists of a continuous component and a discrete component which interact with each other via the usual enabling and conflict relations. The continuous components behave like communicating sequential agents. The discrete component can be viewed as a prime event structure. Towards modelling the simulation of hybrid systems, we derive discrete structures by sampling the continuous system. As a consequence of sampling, some information is lost while other information can be inferred from the sample. We focus on the concurrence of events and the influence of sampling on it. We also present a few results related to the ability to infer the concurrence of events in sampled structures. Keywords Event structures, hybrid computation, sampling, concurrence 1 Motivation The term hybrid system denotes a discrete program interacting with an analog (or co...
Causal Traces
, 1995
"... Causal traces are strings over caused actions, which do not only tell what has happened (the action) but also on which actions in the past this was dependent (the causes). The latter information is provided by a set of backpointers along the trace, in the form of positive natural numbers. Thus, c ..."
Abstract
 Add to MetaCart
(Show Context)
Causal traces are strings over caused actions, which do not only tell what has happened (the action) but also on which actions in the past this was dependent (the causes). The latter information is provided by a set of backpointers along the trace, in the form of positive natural numbers. Thus, causal traces are the linear time counterpart of the wellknown model of causal trees. We develop a complete algebra of causal traces, in which it is allowed to swap subtraces that are causally independent. Care has to be taken that such swapping is congruent with respect to trace composition; in particular, caused actions that occur later in the trace may have to be adjusted to take swapping into account. The objects of the algebra are therefore not simply traces, but traces combined with a causal adjustment which retains the necessary information to make concatenation welldefined. We show how adjusted causal traces can be used to implement Mazurkiewicz traces, and how they may be...