In this paper, we propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. This is achieved by using high level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. © Springer-Verlag Berlin Heidelberg 2006.SCOPUS: cp.kinfo:eu-repo/semantics/publishe
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. T...
International audienceIn this paper, we propose a finite structural translation of possibly recursiv...
International audienceWe propose a finite structural translation of possibly recursive π-calculus te...
In this paper we propose a translation into high level Petri nets of a finite fragment of the π-calc...
In this paper, we propose a finite representation of recur sively defined Petri nets in the framewor...
International audienceIn this paper we propose a translation into high-level Petri nets of the terms...
Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net Multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net Multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
The algebra of A-nets, a high level class of labelled Petri nets introduced in the Petri Box Calculu...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. T...
International audienceIn this paper, we propose a finite structural translation of possibly recursiv...
International audienceWe propose a finite structural translation of possibly recursive π-calculus te...
In this paper we propose a translation into high level Petri nets of a finite fragment of the π-calc...
In this paper, we propose a finite representation of recur sively defined Petri nets in the framewor...
International audienceIn this paper we propose a translation into high-level Petri nets of the terms...
Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net Multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
Finite-net Multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, ...
The algebra of A-nets, a high level class of labelled Petri nets introduced in the Petri Box Calculu...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
We introduce the calculus Multi-CCS, which extends conservatively CCS with an operator of strong pre...
DOI
Add to ORKG