Space-aware ambients and processes
From MaRDI portal
Publication:875514
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
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
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