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
Copyright © Mon Mar 15 04:00:58 2010
by Michael Ley (ley@uni-trier.de)
