Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson. Weak Nominal Modal Logic. Ahmed Bouajjani; Alexandra Silva. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuch
HAL Archives-Ouvertes,
Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson. Weak Nominal Modal Logic.