Ionut Tutu
AuthID: R-00J-2MN
1
TITLE: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTHORS: Jose Luiz Fiadeiro; Ionut Tutu; Antonia Lopes ; Dusko Pavlovic;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
AUTHORS: Jose Luiz Fiadeiro; Ionut Tutu; Antonia Lopes ; Dusko Pavlovic;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: WOS