Journal: Electronic Notes in Theoretical Computer Science

Volume 180, Issue 3

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

Volume 180, Issue 2

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

Volume 180, Issue 1

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