Marco Giunti
AuthID: R-000-V85
1
TÃTULO: Anticipation of Method Execution in Mixed Consistency Systems - Technical Report
AUTORES: Marco Giunti; Hervé Paulino ; António Ravara;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2212.14651
AUTORES: Marco Giunti; Hervé Paulino ; António Ravara;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2212.14651
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Algorithmic type checking for a pi-calculus with name matching and session types Full Text
AUTORES: Marco Giunti;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, NÚMERO: 8
AUTORES: Marco Giunti;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, NÚMERO: 8
