A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.

Marcelo P. Fiore, Sam Staton

Browse the full LICS paper archive.