Finitely Branching LTS’s from Reaction Semantics for Process Calculi
نویسندگان
چکیده
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.
منابع مشابه
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