Space-aware ambients and processes

DOI10.1016/j.tcs.2006.11.017zbMath1111.68011OpenAlexW2030549701MaRDI QIDQ875514

Franco Barbanera, Vladimiro Sassone, Michele Bugliesi, Mariangiola Dezani-Ciancaglini

Publication date: 13 April 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/261847/1/bocaTCSOff.pdf

zbMATH Keywords

distributed systemsbehavioural semanticsambient calculiresource controltype-and-effect systems

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Integrating deployment architectures and resource consumption in timed object-oriented models

Uses Software

• KLAIM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation for higher-order process calculi
• On reduction-based process semantics
• Mobile ambients
• Types for access control
• Resource access control in systems of mobile agents
• Towards a behavioural theory of access and mobility control in distributed systems
• Communication and mobility control in boxed ambients
• Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19--23, 2005. Proceedings.
• A Type Inference Algorithm for Secure Ambients
• Static prediction of heap space usage for first-order functional programs
• Equational properties of mobile ambients
• Resource bound certification
• Controlling interference in ambients
• Extensionality and intensionality of the ambient logics
• Secure safe ambients
• Bisimulation congruences in safe ambients
• The strength of non-size increasing computation
• Resource usage analysis
• Barbed bisimulation
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation