Abstract is missing.
- Content-Driven Reputation for Collaborative SystemsLuca de Alfaro, B. Thomas Adler. 3-13 [doi]
- Challenges for Quantitative Analysis of Collective Adaptive SystemsJane Hillston. 14-21 [doi]
- The Scribble Protocol LanguageNobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng. 22-41 [doi]
- Dynamic Measurement and Protected Execution: Model and AnalysisShiwei Xu, Ian Batten, Mark Ryan. 45-63 [doi]
- Security Correctness for Secure Nested Transactions - Extended AbstractDominic Duggan, Ye Wu. 64-79 [doi]
- Types for Resources in $$\psi $$ -calculiHans Hüttel. 83-102 [doi]
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola. 103-118 [doi]
- Timed $$\pi $$ -CalculusNeda Saeedloei, Gopal Gupta. 119-135 [doi]
- Towards Static Deadlock Resolution in the $$\pi $$ -CalculusMarco Giunti, António Ravara. 136-155 [doi]
- Fine-Grained and Coarse-Grained Reactive NoninterferencePejman Attar, Ilaria Castellani. 159-179 [doi]
- Information Flow Analysis for Valued-Indexed Data Security CompartmentsLuísa Lourenço, Luís Caires. 180-198 [doi]
- A Library for Removing Cache-Based Attacks in Concurrent Information Flow SystemsPablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières. 199-216 [doi]
- Specification of Asynchronous Component Systems with Modal I/O-Petri NetsSerge Haddad, Rolf Hennicker, Mikael H. Møller. 219-234 [doi]
- A Formal Model for the Deferred Update Replication TechniqueAndrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal. 235-253 [doi]
- Studying Operational Models of Relaxed ConcurrencyGustavo Petri. 254-272 [doi]
- Certificates and Separation LogicMartin Nordio, Cristiano Calcagno, Bertrand Meyer. 273-293 [doi]
- On-the-fly Fast Mean-Field Model-CheckingDiego Latella, Michele Loreti, Mieke Massink. 297-314 [doi]
- Group-by-Group Probabilistic Bisimilarities and Their Logical CharacterizationsMarco Bernardo, Rocco De Nicola, Michele Loreti. 315-330 [doi]