Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi

Rocco De Nicola, Michele Loreti. Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electronic Notes in Theoretical Computer Science, 169:133-146, 2007. [doi]

Abstract

Abstract is missing.