Marco Giunti
AuthID: R-000-V85
1
TÃTULO: Sound Atomicity Inference for Data-Centric Synchronization
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
INDEXADO EM: 
DBLP
DBLP2
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
DBLP3
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
