Sara Capecchi and Multiparty Sessions - Free people check

(1 - 10 from 11

)

Behavioural Types Workshop

www.dcs.gla.ac.uk

Global Escape in Multiparty Sessions Sara Capecchi, University of Torino, Italy (Joint work with Elena Giachino and Nobuko Yoshida) We propose a global escape ...

[ ] Information Flow Safety in Multiparty Sessions

arxiv.org

Authors:Sara Capecchi (University of Torino), Ilaria Castellani (INRIA Sophia Antipolis Méditerranée), Mariangiola Dezani-Ciancaglini ...

CiteSeerX — Global Escape in Multiparty Sessions

citeseerx.ist.psu.edu

@TECHREPORT{Capecchi10globalescape, author = {Sara Capecchi and Elena Giachino and Nobuko Yoshida}, title = {Global Escape in Multiparty Sessions},

Session-Based Java - Confluence - Ocean Observatories ...

confluence.oceanobservatories.org

Global Escape in Multiparty Sessions (Sara Capecchi, Elena. Giachino and Nobuko Yoshida) [FSTTCS'10]. ® Dynamic Multirole Session Types (Pierre-Malo ...

From Data Types to Session Types: A Basis for Concurrency and...

groups.inf.ed.ac.uk

LMCS. Sara Capecchi, Elena Giachino, Nobuko Yoshida. Global Escape in Multiparty Sessions. MSCS. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko ...

All web results to the name "Sara Capecchi"

(PDF) Information Flow Safety in Multiparty Sessions | Sara Capecchi...

www.academia.edu

Information Flow Safety in Multiparty Sessions

Information flow safety in multiparty sessions...

www.cambridge.org

Information flow safety in multiparty sessions † - Volume 26 Issue 8

DROPS - Global Escape in Multiparty Sessions

drops.dagstuhl.de

@InProceedings{capecchi_et_al:LIPIcs:2010:2876, author = {Sara Capecchi and Elena Giachino and Nobuko Yoshida}, title = {{Global Escape in Multiparty ...

Global Escape in Multiparty Sessions - Mobility Reading Groupmrg.doc.ic.ac.uk › publications › global-escape-in-multiparty-sessions

mrg.doc.ic.ac.uk

Sara CAPECCHI, Elena GIACHINO, Nobuko YOSHIDA. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ...

Global escape in multiparty sessions †...

www.cambridge.org

Global escape in multiparty sessions † - Volume 26 Issue 2

Related search requests for Sara Capecchi

Ilaria Castellani
Mario Coppo
Vladimir Klebanov

Marco Carbone
Ferruccio Damiani
Betti Venneri

Bernhard Beckert
Laura Bocchi

Person "Capecchi" (1)
Forename "Sara" (57784)
Name "Capecchi" (73)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sara Capecchi and Multiparty Sessions Free People Check