1 / 24

Mobile Calculi

Mobile Calculi. Prof. Diletta Romana Cacciagrano. Contents. From sequential over concurrent to mobile systems Introduction to the Pi-Calculus Operational Equivalences based on labels Operational Equivalences based on reduction Testing preorders Some e xpressiveness results.

guglielmo-blaney
Download Presentation

Mobile Calculi

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Mobile Calculi Prof. Diletta Romana Cacciagrano

  2. Contents • Fromsequentialoverconcurrentto mobile systems • Introductionto the Pi-Calculus • OperationalEquivalencesbased on labels • OperationalEquivalencesbased on reduction • Testingpreorders • Some expressivenessresults

  3. A Shift in TheoreticalFoundation

  4. The Lambda-Calculus

  5. The Lambda-Calculus

  6. PetriNets

  7. PetriNets

  8. PetriNetsDrawbacks

  9. The Pi-Calculus

  10. The Pi-Calculus

  11. Link PassingMobility

  12. DynamicTopology

  13. Mobility in the Pi-Calculus • Namemobility (pi-calculus): Processescommunicate via names (channel/links) and namesmaymove (cf. hypertextlinks, mobile phones, objectreferences,..) • Processmobility: Processescommunicate via names and processesmaymove (cf. mobile code, Jini, higher-orderlanguages, loadbalancing,..) • The choiceof the pure namemobilityfor the Pi-calculus: furthermore, thereis no explicitnotionof location and distribution. • mathematicallysimpler; • otherformsofmobilitymay (sometimes) bereducedtoit; • basisfor more complexformalisms.

  14. The Pi-CalculusAdvantage

  15. Introductionto the Pi-Calculus

  16. InformalIntroductionto the Calculus • A calculusofprocesseswhoselinkagestructuremaychange (namemobility or dynamictopology) • rich and well-developedtheory • small, yet a high expressivepower • a metalanguageforconcurrentlanguages (OO, higher-order…) • basisfornewprogramminglanguages • usefultype system • Butalso: • A basicmodelofcomputation, wherecomputingisinteraction (cf. lambda-calculus, TuringMachines).

  17. InformalIntroductionto the Calculus • A smallcalculus (and the semanticsonlyinvolvesname-fornamesubstitution) butveryexpressive • encoding data structures • encodingfunctionsasprocesses (Milner, Sangiorgi) • encodingsynchronouscommunicationwithasynchronous (Honda-Tokoro, Boudol) • encodingpolyadiccommunicationwithmonadic (Quaglia, Walker) • encodingchoice (or not) (Nestmann, Palamidessi) • ....

  18. InformalIntroductionto the Calculus | | | |

  19. InformalIntroductionto the Calculus

  20. InformalIntroductionto the Calculus

  21. InformalIntroductionto the Calculus

  22. InformalIntroductionto the Calculus

  23. InformalIntroductionto the Calculus

  24. InformalIntroductionto the Calculus

More Related