Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Format rules for mobility

Given that operational semantic specifications can be given elegantly within LINC, it has been possible to provide generalize existing rule format rules, such as the tyft/tyxt format, that capture binder mobility in process calculus. As a consequence of her internship (joint between Parsifal and Com├Ęte), Axelle Ziegler developed just such a format rule [15] . As a result, open bisimulation for a wide range of process calculi can be inference automatically from rules determined to be of this extended format style.


previous
next

Logo Inria