R. Bruni
AuthID: R-00F-T2A
1
TITLE: Static analysis techniques for session-oriented calculi
AUTHORS: Acciai, L; Bodei, C; Boreale, M; Bruni, R; Vieira, HT ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
AUTHORS: Acciai, L; Bodei, C; Boreale, M; Bruni, R; Vieira, HT ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef