Modal Logics for Nominal Transition Systems.

Joachim Parrow, Johannes Borgstrm, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber

Browse the full CONCUR paper archive.