×

zbMATH — the first resource for mathematics

Deriving labelled transition systems – a structural approach. (English) Zbl 1191.68446
From the text: We present a rough overview of our approach to using the structure of terms in rewrite rules to guide the derivation of labelled transition systems using the labels as contexts philosophy. We see how this approach is instantiated in the ambient calculus of the \(\pi\)-calculus to good effect.
MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42 Grammars and rewriting systems
Keywords:
rewrite rules
PDF BibTeX XML Cite