Introduction to calculus for mobile systems

-

English
38 Pages
Read an excerpt
Gain access to the library to view online
Learn more

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


Subjects

Informations

Published by
Published 01 November 2010
Reads 7
Language English
Report a problem
.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