Introduction to calculus for mobile systems

A. Dorman

Description

Introduction to calculus for mobile systems A. Dorman Journee Verite et Preuve 8 novembre 2010 A. Dorman (Journee Verite et Preuve) Introduction to calculus for mobile systems 8 novembre 2010 1 / 25

• journee verite


• concurrent computation


• like ?


• hilbert can meet


• provide reasoning


• truth


• teaching something

Sujets

• Parallel computing

Informations

• Publié par: profil-urra-2012
• Publié le: 01 novembre 2010
• Nombre de lectures: 7
• Langue: English

Extrait

.AoDJ(uomrna´eeV´erntPeet´rinI)evueritcudortlusuofmrnootaccltems8novobilesys2/10

Journe´ e Ve´ rite´  et Preuve

Introduction to calculus for mobile systems

5rbme102e

A. Dorman

8 novembre 2010

Like mathematicians and philosopher’s meeting one-on-one, by profession.

Hilbert can meet Poincare´ or Russell; Poincare´ can also meet Dedekind; Russel can meet lots of people, among which Wittgenstein.

lesymobis8nostemer02evbm52

Concurrency Multiple agents that interact among each other independently from one another.

01/2et´eiterV´een´uroJ(namroD.AsforculuocaliontudtctnorevI)rPue

AD.lesymobisforculucolaoitnudtctnor)IveeuPret´eiter´Vee´nruoJ(namro

Mobility Agents can modify their interaction structure.

Hilbert can meet Poincare´ or Russell; Poincar ´ ecanalsomeetDedekind; Russel can meet lots of people, among which Wittgenstein.

3/10

Now, imagine meetingHilbertmagically turns you into aitamehtanaicm. If Russell decides to have diner with him instead of his beloved student, he becomesone. And can now meet Dedekind!

25bmev02ermetson8s