Bocchi - PDFSEARCH.IO - Document Search Engine

Bocchi
Results: 17

#	Item
1	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 Add to Reading List Source URL: www.wischik.com - Date: 2004-02-26 12:15:18
2	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 Add to Reading List Source URL: ces.ibge.gov.br Language: Portuguese - Date: 2016-07-27 17:23:16
3	1 Rapporto gruppo per la mediazione scolastica e giovanileAngela Bocchi Valeria Canova Masina Aline Esposito Add to Reading List Source URL: www.mediazioneticino.ch Language: Italian - Date: 2015-05-18 09:18:21
4	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 Add to Reading List Source URL: www.fvsgroup.ch Language: French - Date: 2016-04-12 08:30:30
5	ABCD@ London, 20 AprilTimed Multiparty Session Types Laura Bocchi, Weizhen Yang, Nobuko Yoshida CONCUR 2014 Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-02-15 15:33:44
6	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 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-05-06 04:45:18
7	Timed Runtime Monitoring for Multiparty Conversations Rumyana Neykova Laura Bocchi Nobuko Yoshida Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-02-15 15:33:44
8	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 Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-02-15 15:33:44
9	Amending Contracts for Choreographies∗ Laura Bocchi Julien Lange Emilio Tuosto Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-06 10:35:27
10	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 Add to Reading List Source URL: www.urbantactics.org Language: English - Date: 2008-12-24 05:32:41 French people Year of birth missing Philosophy Angèle Kremer-Marietti Achille Bocchi Henri Lefebvre Social philosophy Continental philosophy

UPDATE