Finitely Branching LTS’s from Reaction Semantics for Process Calculi

نویسندگان

  • Pietro Di Gianantonio
  • Furio Honsell
  • Marina Lenisa
چکیده

We experiment Leifer-Milner RPO approach to CCS and to π-calculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some original solutions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Efficient Bisimilarities from Second-order Reaction Semantics for π-calculus

We investigate Leifer and Milner RPO approach for deriving efficient (finitely branching) LTS’s and bisimilarities for π-calculus. To this aim, we work in a category of second-order term contexts and we apply a general pruning technique, which allows to simplify the set of transitions in the LTS obtained from the original RPO approach. The resulting LTS and bisimilarity provide an alternative p...

متن کامل

Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus

We investigate Leifer and Milner RPO approach for deriving efficient (finitely branching) LTS’s and bisimilarities for π-calculus. To this aim, we work in a category of second-order term contexts and we apply a general pruning technique, which allows to simplify the set of transitions in the LTS obtained from the original RPO approach. The resulting LTS and bisimilarity provide an alternative p...

متن کامل

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

We investigate Leifer-Milner RPO approach for CCS and πcalculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some new solutions.

متن کامل

Intensional equality for process calculi based on ε-structures

The subject of the thesis is firstly to add to the understanding of the notion of intensional equality in process setting which is a complementary notion to the extensional equality and secondly to give an intensional set-theoretic semantics for processes in -structures which allows non-well-founded sets for modelling self-reference. The intensional equality allows to distinguish processes by t...

متن کامل

Stochastic COWS

A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and semantics are enriched along the lines of Markovian extensions of process calculi. This allows addressing quantitative reasoning about the behaviour of the specified web services. For instance, a simple case study shows that ser...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008