Authors: Luca Aceto

Citation: Luca Aceto, A static view of localities, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 201-222