WS-FM 2004 Preliminary Version A Process Calculus of Atomic Commit Laura Bocchi 1 Lucian Wischik 2 Department of Computer Science University of Bologna, Italy

Source URL: www.wischik.com

12ª Reunião do Grupo Executivo do Comitê de Estatísticas Sociais Realizada em 13 de julho de 2011 no MDS Brasília  Participantes Carmem Priscila Bocchi – MDS/SESAN

Source URL: ces.ibge.gov.br

1 Rapporto gruppo per la mediazione scolastica e giovanileAngela Bocchi Valeria Canova Masina Aline Esposito

Source URL: www.mediazioneticino.ch

NOSE: une approche Smart-City pour les zones périphériques et extra-urbaines Prof. Yann Bocchi Swiss Mobility Days - Martigny - 7 avril 2016 La HES-SO Valais-Wallis

Source URL: www.fvsgroup.ch

ABCD@ London, 20 AprilTimed Multiparty Session Types Laura Bocchi, Weizhen Yang, Nobuko Yoshida CONCUR 2014

Source URL: mrg.doc.ic.ac.uk

Timed Multiparty Session Types ? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real-time chore

Source URL: www.doc.ic.ac.uk

Timed Runtime Monitoring for Multiparty Conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida

Source URL: mrg.doc.ic.ac.uk

Timed Multiparty Session Types? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London, London, UK Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real

Source URL: mrg.doc.ic.ac.uk

Amending Contracts for Choreographies∗ Laura Bocchi Julien Lange Emilio Tuosto

Source URL: arxiv.org

ACTING SPACE Transversal notes, on-the-ground observations and concrete questions for us all Constantin Petcou and Doina Petrescu, Paris - NovemberThe crisis of space in a capitalistic society

Source URL: www.urbantactics.org

• French people
• Year of birth missing
• Philosophy
• Angèle Kremer-Marietti
• Achille Bocchi
• Henri Lefebvre
• Social philosophy
• Continental philosophy