A congruence rule format for name-passing process calculi from mathematical structural operational semantics (2006)

by Marcelo P Fiore, Sam Staton
Venue:Proceedings of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006), IEEE Computer