Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An. Evolving concurrent systems: behavioural theory and logic. In Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017, Geelong, Australia, January 31 - February 3, 2017. ACM, 2017. [doi]
Abstract is missing.