Introduction to calculus for mobile systems
38
pages
English
Documents
2010
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
38
pages
English
Documents
2010
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
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
Voir
- journee verite
- concurrent computation
- like ?
- hilbert can meet
- provide reasoning
- truth
- teaching something
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
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
