Concurrency and Interaction in Complex Systems, pages 1-4

Authors: S. Ben Mokhtar, S. Bliudze, R. Bruni, A. Silva, A. Troina

Abstract | BibTeX | Full Text (PDF)

Desynchronizability of (Partial) Synchronous Closed Loop Systems, pages 5-38

Authors: H. Beohar, P. Cuijpers

Abstract | References | BibTeX | Full Text (PDF)

Modular Verification of Interactive Systems with an Application to Biology, pages 39-72

Authors: P. Drabik, A. Maggiolo-Schettini, P. Milazzo

Abstract | References | BibTeX | Full Text (PDF)

Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation, pages 73-106

Authors: L. Hartmann, N.D. Jones, J.G. Simonsen, S.B. Vrist

Abstract | References | BibTeX | Full Text (PDF)

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems, pages 107-149

Authors: A.M. Hernandez, F. Nielson, H. Riis-Nielson

Abstract | References | BibTeX | Full Text (PDF)

An SCA-based Approach for Social and Pervasive Communications in Home Environments, pages 151-173

Authors: R. Melisson, D. Romero, R. Rouvoy, L. Seinturier

Abstract | References | BibTeX | Full Text (PDF)