Logics for Actor Networks: A two-stage constrained-hybridisation approach

José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic. Logics for Actor Networks: A two-stage constrained-hybridisation approach. Journal of Logic and Algebraic Programming, 106:141-166, 2019. [doi]

Abstract

Abstract is missing.