Separability Expressiveness and Decidability

Documents
67 pages
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Separability, Expressiveness and Decidability in the Ambient Logic AS mobilite - December 2002 1

  • ambients paradigm

  • ambient logic

  • spatial logics

  • realistic communication

  • network's topology

  • pi anymore

  • scope extrusion expresses


Sujets

Informations

Publié par
Nombre de lectures 17
Langue English
Signaler un problème
Separability,ExpressivenessdnaDecidabilityintheAmbientLogicASmobilite´-December20021
Outline1.FromπtoMobileAmbients2.MobileAmbientsBehaviourandSpatial3.ExpressivenessoftheAmbientLogic4.Separability,DecidabilityLogics2
Fmorehtπ-calculusotMobileAmbients3
AneedforanewparadigmcSpoexertsuoinxerpnetwork’stopology......ubtsitieraylneoeusgshseoftrehmeovdolellviressources(servers,terminals,applets...)innggntsorituotcnusrlekio:efnetworkhierarchy(IPaddresses,subnetworks,executionsites...)realisticcommunication(packets,firewalls...)otmirpvoexerpseMobileAmbientssvinese,sdeennatoehrpraaidmg:4
TheMobileAmbientsparadigm[CarGor98]hTeabisconitonsiontanemsaandsublocations(calledambients).a[[b]sni|c[]]|d[]πnamyro,eubtolact5oisn
TheMobileAmbientsparadigm[CarGor98]hTeabsiconitonsiontanemsaandsublocations(calledambients).hTeocpmtutaoinsisnia[b[]|c[]]|d[]ontaanembutmovementoflocationsa[inb]|b[]b[a[]]pπsaaisnnygmporroec,ebsustaolynacmto5oirn,es