Volume 180, Number 1, June 2007

Proceedings of the International Workshop on Security and Concurrency (SecCo 2005)

• 
  Michael Backes, Andre Scedrov: Preface. 1-2
• 
  Hans Hüttel, Morten Kühnrich: Types for Access Control in a Calculus of Mobile Resources. 3-15
• 
  Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila: Secured Information Flow for Asynchronous Sequential Processes. 17-34
• 
  Guillaume Gardey, John Mullins, Olivier H. Roux: Non-Interference Control Synthesis for Security Timed Automata. 35-53
• 
  Yuxin Deng, Catuscia Palamidessi, Jun Pang: Weak Probabilistic Anonymity. 55-76
• 
  Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso: On the Expressiveness of Mobile Synchronizing Petri Nets. 77-94

Volume 180, Number 2, June 2007

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)

• 
  Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel: Preface. 1-2
• 
  Silvia Amaro, Ernesto Pimentel, Ana M. Roldán: A Preliminary Comparative Study on the Expressive Power of Reo and Linda. 3-19
• 
  Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo: Prototype Platforms for Distributed Agreements. 21-40
• 
  Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. 41-54
• 
  Claudio Guidi, Roberto Lucchi, Manuel Mazzara: A Formal Framework for Web Services Coordination. 55-70
• 
  Isabelle Linden, Jean-Marie Jacquet: On the Expressiveness of Timed Coordination via Shared Dataspaces. 71-89
• 
  George R. Ribeiro-Justo, Ahmed Saleh, Tereska Karran: Intelligent Reconfiguration of Dynamic Distributed Components. 91-106
• 
  David Safránek: Visual Specification of Systems with Heterogeneous Coordination Models. 107-121
• 
  Mirko Viroli, Andrea Omicini: ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications. 123-144

Volume 180, Number 3, July 2007

Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003)

• 
  Vincent Danos, Cosimo Laneve: Preface. 1-2
• 
  Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux: Semantics of Biological Regulatory Networks. 3-14
• 
  Bor-Yuh Evan Chang, Manu Sridharan: PML: Toward a High-Level Formal Language for Biological Systems. 15-30
• 
  Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. 31-49
• 
  Paola Lecca, Corrado Priami: Cell Cycle Control in Eukaryotes: A BioSpi model. 51-63
• 
  Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa: Control Flow Analysis for BioAmbients. 65-79