Separability Expressiveness and Decidability

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

• Mobile

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 17
• Langue: English

Extrait

Separability,ExpressivenessdnaDecidability intheAmbientLogic ASmobilite´-December2002 1

Outline 1.FromπtoMobileAmbients 2.MobileAmbientsBehaviourandSpatial 3.ExpressivenessoftheAmbientLogic 4.Separability,Decidability Logics 2

Fmorehtπ-calculusotMobileAmbients 3

Aneedforanewparadigm • • • cSpoexertsuoinxerp network’stopology... ...ubtsitieraylneo e u s g s h se of t r eh m e o v d o le l l v i ressources(servers,terminals,applets...) i n n g g n ts o r it u o tc n u s r l e ki o :e f networkhierarchy(IPaddresses,subnetworks,executionsites...) realisticcommunication(packets,firewalls...) otmirpvoexerpse MobileAmbients svinese,sdfieennatoehrpraaidmg: 4

TheMobileAmbientsparadigm[CarGor98] • hTeabisconitonsiontanemsa andsublocations(calledambients) . a[[b] sni | c[]] | d[] πnamyro,eubtolact 5 oisn

TheMobileAmbientsparadigm[CarGor98] hTeabsiconitonsiontanemsa • andsublocations(calledambients) . hTeocpmtutaoinsi sni a[b[] | c[]] | d[] ontaanem • butmovementoflocations a[inb] | b[] → b[a[]] p π sa a is n n y g m p o r r o e c , e b s u s t a ol yn ac m t o 5 oi r n ,e s