A debugging calculus for mobile ambients

Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 ◽

10.1145/372202.380701 ◽

2001 ◽

Author(s):

GianLuigi Ferrari ◽

Emilio Tuosto

Keyword(s):

Mobile Ambients

Download Full-text

On the Expressiveness of the π-Calculus and the Mobile Ambients

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17796-5_3 ◽

2011 ◽

pp. 44-59 ◽

Author(s):

Linda Brodo

Keyword(s):

Π Calculus ◽

Mobile Ambients

Download Full-text

Timers and Proximities for Mobile Ambients

Computer Science – Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74510-5_7 ◽

2007 ◽

pp. 33-43 ◽

Author(s):

Bogdan Aman ◽

Gabriel Ciobanu

Keyword(s):

Mobile Ambients

Download Full-text

A Decentralized Implementation of Mobile Ambients

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-540-87405-8_9 ◽

2008 ◽

pp. 115-130 ◽

Author(s):

Fabio Gadducci ◽

Giacoma Valentina Monreale

Keyword(s):

Mobile Ambients

Download Full-text

Encoding Mobile Ambients into the π-Calculus

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_15 ◽

2007 ◽

pp. 148-165 ◽

Author(s):

Gabriel Ciobanu ◽

Vladimir A. Zakharov

Keyword(s):

Π Calculus ◽

Mobile Ambients

Download Full-text

Validating Firewalls in Mobile Ambients

CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48320-9_32 ◽

1999 ◽

pp. 463-477 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

René Rydhof Hansen ◽

Jacob Grydholt Jensen

Keyword(s):

Mobile Ambients

Download Full-text

Dormancy and Spatial Logic of Mobile Ambients

2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery ◽

10.1109/fskd.2008.262 ◽

2008 ◽

Author(s):

Rongde Lin ◽

Jianqing Xi ◽

Yubin Guo

Keyword(s):

Spatial Logic ◽

Mobile Ambients

Download Full-text

A Privacy Type System for Context-aware Mobile Ambients

Procedia Computer Science ◽

10.1016/j.procs.2015.05.034 ◽

2015 ◽

Vol 52 ◽

pp. 98-105

Author(s):

François Siewe

Keyword(s):

Type System ◽

Context Aware ◽

Mobile Ambients

Download Full-text

Flow-sensitive Leakage Analysis in Mobile Ambients

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.11.039 ◽

2005 ◽

Vol 128 (5) ◽

pp. 17-25 ◽

Author(s):

Chiara Braghin ◽

Agostino Cortesi

Keyword(s):

Mobile Ambients

Download Full-text

Probabilistic Mobile Ambients

Theoretical Computer Science ◽

10.1016/j.tcs.2008.12.058 ◽

2009 ◽

Vol 410 (12-13) ◽

pp. 1272-1303 ◽

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker ◽

Maria Grazia Vigliotti

Keyword(s):

Mobile Ambients

Download Full-text

Predicate ?-Calculus for Mobile Ambients

Journal of Computer Science and Technology ◽

10.1007/s11390-005-0011-7 ◽

2005 ◽

Vol 20 (1) ◽

pp. 95-104 ◽

Author(s):

Hui-Min Lin

Keyword(s):

Predicate Calculus ◽

Mobile Ambients

Download Full-text