The paper "Logics for Actor Networks: A two-stage constrained-hybridisation approach", by José Luiz Fiadeiro, Ionuţ Ţuţu, Antónia Lopes (LASIGE integrated researcher), Dusko Pavlovic was included in the special collection of Top papers selected by the Editorial Board of the Journal of Logical and Algebraic Methods in Programming.

It can be found here.