Space-aware ambients and processes

DOI10.1016/J.TCS.2006.11.017MaRDI QIDQ875514zbMATH OpenOpenAlexFDO

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

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

ambient calculibehavioural semanticsdistributed systemsresource controltype-and-effect systems

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Processes in space
• Processes in space
• Space and spaces
• scientific article; zbMATH DE number 1759612
• Presidential Address: Spaces
• scientific article; zbMATH DE number 1122607

Cites work

• A type inference algorithm for secure ambients
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Barbed bisimulation
• Bisimulation congruences in safe ambients
• Bisimulation for higher-order process calculi
• Communication and mobility control in boxed ambients
• Controlling interference in ambients
• Equational properties of mobile ambients
• Extensionality and intensionality of the ambient logics
• scientific article; zbMATH DE number 1692889 (Why is no real title available?)
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 193411 (Why is no real title available?)
• scientific article; zbMATH DE number 1361143 (Why is no real title available?)
• scientific article; zbMATH DE number 1927568 (Why is no real title available?)
• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• scientific article; zbMATH DE number 2163049 (Why is no real title available?)
• scientific article; zbMATH DE number 2086682 (Why is no real title available?)
• scientific article; zbMATH DE number 2087553 (Why is no real title available?)
• Mobile ambients
• On reduction-based process semantics
• Resource access control in systems of mobile agents
• Resource bound certification
• Resource usage analysis
• Secure safe ambients
• Static prediction of heap space usage for first-order functional programs
• The strength of non-size increasing computation
• Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19--23, 2005. Proceedings.
• Towards a behavioural theory of access and mobility control in distributed systems
• Types for access control

Cited in

(9)

• A calculus for modeling floating authorizations
• scientific article; zbMATH DE number 1958177 (Why is no real title available?)
• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• Integrating deployment architectures and resource consumption in timed object-oriented models
• A Calculus for Modeling Floating Authorizations
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Space monitoring of the environment and global safety
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Spatial-behavioral types for concurrency and resource control in distributed systems

Describes a project that uses

Uses Software

• KLAIM

This page was built for publication: Space-aware ambients and processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q875514)