Volume 180,
Number 1,
June 2007
Proceedings of the International Workshop on Security and Concurrency (SecCo 2005)
- Michael Backes, Andre Scedrov:
Preface.
1-2
Electronic Edition (link) BibTeX
- Hans Hüttel, Morten Kühnrich:
Types for Access Control in a Calculus of Mobile Resources.
3-15
Electronic Edition (link) BibTeX
- Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila:
Secured Information Flow for Asynchronous Sequential Processes.
17-34
Electronic Edition (link) BibTeX
- Guillaume Gardey, John Mullins, Olivier H. Roux:
Non-Interference Control Synthesis for Security Timed Automata.
35-53
Electronic Edition (link) BibTeX
- Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Weak Probabilistic Anonymity.
55-76
Electronic Edition (link) BibTeX
- Fernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso:
On the Expressiveness of Mobile Synchronizing Petri Nets.
77-94
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Silvia Amaro, Ernesto Pimentel, Ana M. Roldán:
A Preliminary Comparative Study on the Expressive Power of Reo and Linda.
3-19
Electronic Edition (link) BibTeX
- Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo:
Prototype Platforms for Distributed Agreements.
21-40
Electronic Edition (link) BibTeX
- Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Behavioural Types for Service Integration: Achievements and Challenges.
41-54
Electronic Edition (link) BibTeX
- Claudio Guidi, Roberto Lucchi, Manuel Mazzara:
A Formal Framework for Web Services Coordination.
55-70
Electronic Edition (link) BibTeX
- Isabelle Linden, Jean-Marie Jacquet:
On the Expressiveness of Timed Coordination via Shared Dataspaces.
71-89
Electronic Edition (link) BibTeX
- George R. Ribeiro-Justo, Ahmed Saleh, Tereska Karran:
Intelligent Reconfiguration of Dynamic Distributed Components.
91-106
Electronic Edition (link) BibTeX
- David Safránek:
Visual Specification of Systems with Heterogeneous Coordination Models.
107-121
Electronic Edition (link) BibTeX
- Mirko Viroli, Andrea Omicini:
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications.
123-144
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux:
Semantics of Biological Regulatory Networks.
3-14
Electronic Edition (link) BibTeX
- Bor-Yuh Evan Chang, Manu Sridharan:
PML: Toward a High-Level Formal Language for Biological Systems.
15-30
Electronic Edition (link) BibTeX
- Vincent Danos, Jean Krivine:
Formal Molecular Biology Done in CCS-R.
31-49
Electronic Edition (link) BibTeX
- Paola Lecca, Corrado Priami:
Cell Cycle Control in Eukaryotes: A BioSpi model.
51-63
Electronic Edition (link) BibTeX
- Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa:
Control Flow Analysis for BioAmbients.
65-79
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:25 2009
by Michael Ley (ley@uni-trier.de)
