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  . 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.