Results 1 
8 of
8
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 30 (12 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
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 23 (15 self)
 Add to MetaCart
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 15 (0 self)
 Add to MetaCart
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 absolute time added to a ..."
Abstract

Cited by 7 (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. ...
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.
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.