Abstract is missing.
- Symbolic and Analytic Techniques for Resource Analysis of Java BytecodeDavid Aspinall, Robert Atkey, Kenneth Mackenzie, Donald Sannella. 1-22 [doi]
- Perspectives in Certificate TranslationGilles Barthe, César Kunz. 23-34 [doi]
- Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic ProcessesMarco Bernardo, Rocco De Nicola, Michele Loreti. 35-56 [doi]
- Toward a Game-Theoretic Model of Grid SystemsMaria Grazia Buscemi, Ugo Montanari, Sonia Taneja. 57-72 [doi]
- Functions as Processes: Termination and the lm[(m)/tilde]/lambda/mu/widetilde{/mu}-CalculusMatteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi. 73-86 [doi]
- Predicate Encryption for Secure Remote StorageGiuseppe Persiano. 87 [doi]
- Trust in Crowds: Probabilistic Behaviour in Anonymity ProtocolsVladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou. 88-102 [doi]
- Expressiveness of Generic Process Shape TypesJan Jakubuv, J. B. Wells. 103-119 [doi]
- A Java Inspired Semantics for Transactions in SOCLaura Bocchi, Emilio Tuosto. 120-134 [doi]
- Responsive Choice in Mobile ProcessesMaxime Gamboni, António Ravara. 135-152 [doi]
- A Model of Evolvable ComponentsFabrizio Montesi, Davide Sangiorgi. 153-171 [doi]
- The Impact of Altruism on the Efficiency of Atomic Congestion GamesIoannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou. 172-188 [doi]
- Stressed Web Environments as Strategic Games: Risk Profiles and WeltanschauungJoaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart. 189-204 [doi]
- An Algebra of Hierarchical GraphsRoberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente. 205-221 [doi]
- Property-Preserving Refinement of Concurrent SystemsLiliana D Errico, Michele Loreti. 222-236 [doi]
- Certificate Translation for the Verification of Concurrent ProgramsCésar Kunz. 237-252 [doi]
- Certified Result Checking for Polyhedral Analysis of Bytecode ProgramsFrédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin. 253-267 [doi]
- A Novel Resource-Driven Job Allocation Scheme for Desktop Grid EnvironmentsPaolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri. 268-283 [doi]
- A Framework for Rule-Based Dynamic AdaptationIvan Lanese, Antonio Bucchiarone, Fabrizio Montesi. 284-300 [doi]
- CarPal: Interconnecting Overlay Networks for a Community-Driven Shared MobilityVincenzo Ciancaglini, Luigi Liquori, Laurent Vanni. 301-317 [doi]
- Refactoring Long Running Transactions: A Case StudyGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto. 318-334 [doi]
- Approximate Model Checking of Stochastic COWSPaola Quaglia, Stefano Schivo. 335-347 [doi]
- Probabilistic Aspects: Checking Security in an Imperfect WorldChris Hankin, Flemming Nielson, Hanne Riis Nielson. 348-363 [doi]
- A Tool for Checking Probabilistic Properties of COWS ServicesIgor Cappello, Paola Quaglia. 364-378 [doi]