C dric FOURNET LE JOIN-CALCUL : UN CALCUL POUR ... - Microsoft

Extrait du fichier (au format texte) :

TH SE
pr sent e

L' COLE POLYTECHNIQUE
pour obtenir le titre de

DOCTEUR DE L' COLE POLYTECHNIQUE
sp cialit :

INFORMATIQUE
par

C dric FOURNET
Sujet de la th se :

LE JOIN-CALCUL :
UN CALCUL POUR LA PROGRAMMATION
R PARTIE ET MOBILE
The Join-Calculus:
a Calculus for Distributed Mobile Programming
Soutenue le 23 Novembre 1998 devant le jury compos de :
MM. Robin

Milner
Roberto
Amadio
G rard
Boudol
Jean-Jacques L vy
G rard
Berry
Luca
Cardelli
Georges
Gonthier

Pr sident
Rapporteurs
Directeur de th se
Examinateurs

.

Remerciements
 M. Robin Milner a bien voulu pr sider le jury ; je l'en remercie chaleureusement.
 MM. Roberto Amadio et G rard Boudol ont lu cette th se en d tail et ont accept d'en tre les rapporteurs. Qu'ils en soient remerci s, et qu'ils me pardonnent ses longueurs.
 M. Jean-Jacques L vy a t un directeur de th se amical, disponible, et de bon conseil. Il m'a persuad de l'int r t de la recherche en informatique et m'a sugg r

Les promotions



Entanglement and Rigidity in Percolation Models ... - Alexander Holroyd
Entanglement and Rigidity in Percolation Models ... - Alexander Holroyd
22/05/2017 - www.microsoft.com
 ''&'''''' '&'!' &'' &''&''''''' ' ' ''''''''''''"' ''#' '$'%&''&&'''*')'+'!',''-''''.')'+' '/ ')'0''1&''!''2 ''3 '4'6'5'8'7''9';':'=''§'H''£'Œ'X'© '’''“'”'','¾'K''‘''£'Œ'‹'“'”!’'8'’''Š''Œ''Š''›'ž'’'''£'Œ'ž'Š'­'Š',!’'8'’'''£!’'H'¥&`''œ'Š',!”''Š',!’'8'’'''£!’'H'™&'Œ'ž'“'”'¥&`'“'œ'™'H'“'œ'’'¸'¨'£'²'‹'¬''Ž'@'Ž&`'›'ž'Š',''œ'¨$i'›'ž'§'V'Š',''£'®%Ï'“'”!’'H'¥'H'»&`'’'' 'H'Š'­!”''Š'z''£!’'K'“'”!’'H'¥ 'Ž'£'$c'’'' 'H'Š','›'ž'Š$e'’''Š''Œ'!”''›'­'“'”'›'´''£'›'´''¢'Ž&`''œ''”'Ž'h'¤'‡'›','²'>'±''¥&`'Œ''t'§'H' '0'“'”!’'¯'’'' 'H'Œ''Š''Š'#'©'P'™'H'“'”!”''Š',!’'H'›'ž'“'”'Ž&`!’'H''£''¹'›''§'|''£'''Š'¼'“'”'›'Q'Š',!’'8'’'.''£!’'K'¥&`''”'Š''™ '“'«''´'“'«'’'w''z''£!’'H!’'K'Ž'£'’$i'Ÿ'V'Š'0'R'n'§'H'¾'H''”''œ'Š','™'p''£'§'|'t'Œ'ž'’'zÏ&'¤'‡' 'K'Š',!’Ð'’'' 'H'Š''Š','™'H'¥&`'Š''›''t'Œ''Š'+'Œ''Š''¥'8''£'Œ''™'K'Š','™Ñ't'›$i'§'K' %Ï'¨'@'›'ž'“'”''z't''µ'''Ž&`!’%²'© !’'H'Š''''’''“'”'Ž&`!’'H'›$i!”&''£'™'H'Š''Ž'£''*'Š',''”''£'›'ž'’''“'”'t'²'0'±Ò'¥&`'Œ'''£'§'H' Ð'“'”'›$i'Œ''“'”'¥'£'“'”'™'p'“'œ''­'“'«'’$i''z''£!’'H!’'K'Ž'£'’'º'Ÿ'"'Š'1'R'n'™'H'Š'#''¢'Ž&`'Œ'!”''Š','™&Ï$c'¤'‡' 'H'Š'!’ '’'' 'H'Š'º'Š','™'K'¥&`'Š','›'w''£'Œ'ž'Š'º'Œ''Š''¥'8''£'Œ'ž'™'H'Š','™Ó''£'›'-'›''Ž&`''œ'“'”'™''Œ'ž'Ž%²'™'K'›'-'¤'‡' 'H'“'”''.' '…'',''£!’'…'§'H'“'«'¶&`'Ž'£'’'w''F'’'-'’'' 'K'Š''¶&`'Š''Œ'ž'’''“'œ'','Š''›','²$i'·'*' 'H'Š','›'ž'Š '“'œ!’%Ï'’''¾'H'“'œ'’''“'œ'¶'£'Š$e!’'H'Ž'£'’''“'”'Ž&`!’'H'›'­'¤'‡'“'œ''”'&'Ÿ'"'Š$e''¢'Ž&`'Œ'ž!”'¯''£''œ'“'”'›'ž'Š','™'0''‘''F'’''Š','Œ''² Ô'=!’'8'’'.''£!’'H'¥'£''”'Š',!”''Š',!’'8'’'''£!’'H'™'p'Œ''“'œ'¥&`'“'”'™'H'“'«'’'¸'¨&c'“'œ!’'p'§'"'Š','Œ'ž'','Ž&`''”'t'’''“'œ'Ž&`!’'p''£'Œ''Š''Ž'£''´'“'”!’'8'’''Š''Œ''Š','›'X'’'''¢'Ž'£'Œ$i'›'ž'Š''¶'£'Š','Œ''t''Q'Œ'ž'Š'z''F'© '›'ž'Ž&`!’'H'›','²ÖÕ×'“'”'Œ''›'X'’'''«'¨&`'»'*'’'' 'H'Š'#'¨Ø' '|''z'¶&`'Š'p'“'”!”''§'"'Ž&`'Œ'ž'’'''£!’'8'’'...

DSCOVR: Randomized Primal-Dual Block Coordinate ... - Microsoft
DSCOVR: Randomized Primal-Dual Block Coordinate ... - Microsoft
23/08/2018 - www.microsoft.com
DSCOVR: Randomized Primal-Dual Block Coordinate Algorithms for Asynchronous Distributed Optimization lin.xiao@microsoft.com Lin Xiao Microsoft Research AI Redmond, WA 98052, USA weiyu@cs.cmu.edu Adams Wei Yu Machine Learning Department, Carnegie Mellon University Pittsburgh, PA 15213, USA qihang-lin@uiowa.edu Qihang Lin Tippie College of Business, The University of Iowa Iowa City, IA 52245, USA wzchen@microsoft.com Weizhu Chen Microsoft AI and Research Redmond, WA 98052, USA October 13,...

A Large-Scale Study of the Evolution of Web Pages - Microsoft
A Large-Scale Study of the Evolution of Web Pages - Microsoft
23/08/2018 - www.microsoft.com
A Large-Scale Study of the Evolution of Web Pages Dennis Fetterly Hewlett Packard Labs 1501 Page Mill Road Palo Alto, CA 94304 dennis.fetterly@hp.com Mark Manasse Marc Najork Microsoft Research Microsoft Research 1065 La Avenida 1065 La Avenida Mountain View, CA 94043 Mountain View, CA 94043 manasse@microsoft.com najork@microsoft.com Janet Wiener Hewlett Packard Labs 1501 Page Mill Road Palo Alto, CA 94304 janet.wiener@hp.com ABSTRACT 1. INTRODUCTION How fast does the web change? Does most...

Msft Microsoft Surface Pro 11th Edition Fact Sheet
Msft Microsoft Surface Pro 11th Edition Fact Sheet
10/10/2025 - www.microsoft.com
Surface Pro for Business Fact Sheet May 2024 The most flexible laptop, reimagined. The new Surface Pro is the most flexible 2-in-1 laptop, now reimagined with more speed and battery life for all-new AI experiences, powered by Snapdragon? X Elite and Plus processors with an industry leading NPU. All wrapped up in an ultra-portable design that can replace your tablet, your laptop, and power your multi-monitor set-up. The new Surface Pro Flex Keyboard allows you to position your Surface Pro and...

D6. 4: Final evaluation of CLASSiC TownInfo and ... - Microsoft
D6. 4: Final evaluation of CLASSiC TownInfo and ... - Microsoft
23/11/2017 - www.microsoft.com
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/228835240 D6. 4: Final evaluation of CLASSiC TownInfo and Appointment Scheduling systems Article · May 2011 CITATIONS READS 15 56 11 authors, including: Helen Hastie Filip Jurcicek Heriot-Watt University Charles University in Prague 105 PUBLICATIONS 858 CITATIONS 55 PUBLICATIONS 439 CITATIONS SEE PROFILE SEE PROFILE Oliver Joseph Lemon Steve Young Heriot-Watt University University of Cambridge 323 PUBLICATIONS 3,678 CITATIONS 310 PUBLICATIONS 14,308 CITATIONS SEE PROFILE SEE PROFILE Some of the authors of this publication are also working on these related projects: MaDrIgAL: Multi-Dimensional Interaction management and Adaptive Learning View project ...

User-Driven Access Control: Rethinking Permission ... - CiteSeerX
User-Driven Access Control: Rethinking Permission ... - CiteSeerX
23/08/2018 - www.microsoft.com
User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems Franziska Roesner, Tadayoshi Kohno {franzi, yoshi}@cs.washington.edu University of Washington Alexander Moshchuk, Bryan Parno, Helen J. Wang {alexmos, parno, helenw}@microsoft.com Microsoft Research, Redmond Crispin Cowan crispin@microsoft.com Microsoft Abstract tionality and security for access to the user s data and resources. From a functionality standpoint, isolation inhibits the client-side manipulation...

MSR Quantum applications - Microsoft
MSR Quantum applications - Microsoft
23/08/2018 - www.microsoft.com
( What Can We Do with a Quantum Computer? ( Matthias Troyer  Station Q, ETH Zurich | 1 Classical computers have come a long way Antikythera mechanism ENIAC astronomical positions (1946) (100 BC) Kelvin s harmonic analyzer prediction of tides (1878) Difference Engine (1822) Is there anything that we cannot solve on future supercomputers? Titan, ORNL (2013) Matthias Troyer | | 2 How long will Moore s law continue? Do we see signs of the end of Moore s law? Can we go below 7nm...

DictaNum : système de dialogue incrémental pour la dictée ... - Microsoft
DictaNum : système de dialogue incrémental pour la dictée ... - Microsoft
23/11/2017 - www.microsoft.com
See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/262881756 DictaNum : système de dialogue incrémental pour la dictée de numéros. Conference Paper · July 2014 CITATIONS READS 0 57 3 authors, including: Hatim Khouzaimi Romain Laroche Orange Labs / Laboratoire Informatique d'Avi & Microsoft Maluuba 12 PUBLICATIONS 42 CITATIONS 58 PUBLICATIONS 185 CITATIONS SEE PROFILE SEE PROFILE All content following this page was uploaded by Hatim Khouzaimi on 06 June 2014. The user has requested enhancement of the downloaded file. 21ème...
 
 

Manuel d'utilisation
Manuel d'utilisation
03/04/2012 - www.vtech-jouets.com
Manuel d'utilisation © 2011 VTech Imprimé en Chine 91-002604-001 Chers parents, Chez VTech®, nous sommes conscients que les enfants sont notre avenir. C'est pourquoi tous nos jeux sont conçus de manière à entretenir et renforcer leur désir d'apprendre. Toute la technologie et le sens de la pédagogie VTech® sont mis au service de la connaissance pour faciliter la découverte des lettres, des mots, des chiffres, des opérations... Chez VTech®, nous nous engageons à tout faire pour que...

Remote-Control-User-Guide
Remote-Control-User-Guide
21/05/2012 - www.tomtom.com
TomT om Remo te Contr ol TomTom Remote Control EN English 4 DE Deutsch 8 FR Français 12 NL Nederlands 16 IT Italiano 20 ES Español 24 DA Dansk 28 SV Svenska

Fiche produit Sony : 25/1237478587125.pdf
Fiche produit Sony : 25/1237478587125.pdf
16/02/2012 - www.sony.fr
Prêt À VIVrE lEs sEnsatIons 3D CHEZ VoUs ? 300 (1) Du 1er Juin au 3 Août 2010 e remboursés pour l'achat d'un lecteur ou d'un Home Cinéma Blu-ray 3D et d'un TV BRAVIA 3D Achat d'un lecteur ou d'un Home Cinéma Blu-ray 3D : BDV-F500 ou BDV-F700 ou BDP-S570 ou BDP-S470 et d'un TV BRAVIA 3D : KDL-40HX800 ou KDL-46HX800 ou KDL-46HX900 ou KDL-52HX900 ou KDL-60LX900. (1) Un monde créé par Sony OFFRE SONY/TV 3D - 300 REmbOuRSéS Modalités de l'offre Pour l'achat d'un lecteur ou d'un Home...

Logitech, Inc.
Logitech, Inc.
05/12/2014 - www.logitech.com
July 29, 2004 Logitech, Inc. 1499 SE Tech Center Drive, Suite 350 Vancouver, Washington 98683 Phone: (360) 896-2000 Fax: (360) 896-2020 We declare under our sole responsibility that the following products are in conformity with FCC Part 15, Subpart B, Section 15.107(a) and Section 15.109(a), Class B Digital Device. MODEL NAME: S-0115A Computer Speaker 5.1 System This device complies with Part 15 of the FCC rules. Operation is subject to the following two conditions: This device may not cause...

TC190 • TC240 - Samsung
TC190 • TC240 - Samsung
21/11/2014 - www.samsung.com
TC190 " TC240 19" and 23.6  Integrated Thin Client LCD Displays Features: " Thin client displays, embedded with Windows XP " Security is easier to control, both in terms of access and virus protection " Software can be easily updated from one central location, reducing IT costs and simplifying administration " Digital signage and multi-display video walls are easily created and controlled " 1280 x 1024 (TC190) and 1920 x 1080 (TC240) resolution " 5ms response time and 1000:1 contrast...

Fiche produit Sony : 44/1223895735144.pdf
Fiche produit Sony : 44/1223895735144.pdf
16/02/2012 - www.sony.fr
F35 Caméra de cinéma numérique Préliminaire www.sonybiz.net/F35 Avec cette caméra de cinéma numérique à capteur Super 35mm, votre créativité n a plus de limites En 2000, Sony dévoile son premier caméscope HDW-F900 CineAlta!", qui introduit un nouveau concept innovant d enregistrement de vidéo en 24 images sur cassette numérique, pour le cinéma numérique et la production télévisée. Depuis, Sony continue à améliorer sa gamme CineAlta en restant à l écoute des professionnels...