Volume 229, Number 1, February 2009

Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008), Reykjavik, Iceland, 12 July 2008

• 
  Nicola Cannata, Emanuela Merelli, Irek Ulidowski: Preface. 1-2
• 
  Paolo Ballarini, Radu Mardare, Ivan Mura: Analysing Biochemical Oscillation through Probabilistic Model Checking. 3-19
• 
  Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini: Spatial Calculus of Looping Sequences. 21-39
• 
  Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. 41-58
• 
  Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland: Improved Continuous Approximation of PEPA Models through Epidemiological Examples. 59-74
• 
  Luca Bortolussi, Alberto Policriti: The Importance of Being (A Little Bit) Discrete. 75-92
• 
  Dario Campagna, Carla Piazza: Hybrid Automata in Systems Biology: How Far Can We Go? 93-108
• 
  Igor Cappello, Paola Quaglia: A Translation of Beta-binders in a Prioritized Pi-calculus. 109-125
• 
  Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips: A Process Model of Actin Polymerisation. 127-144
• 
  Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder: Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. 145-163
• 
  Alessio Coletta, Roberta Gori, Francesca Levi: Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. 165-182

Volume 229, Number 2, July 2009

• 
  Carlos Canal, Pascal Poizat, Marjan Sirjani: Preface. 1-2
• 
  Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic Consistency in Process Algebra: From Paradigm to ACP. 3-20
• 
  Farhad Arbab, Sun Meng, Christel Baier: Synthesis of Reo Circuits from Scenario-based Specifications. 21-41
• 
  Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Deconstructing Reo. 43-58
• 
  Peter Y. H. Wong, Jeremy Gibbons: A Relative Timed Semantics for BPMN. 59-75
• 
  Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich: Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. 77-93
• 
  Kevin Marth, Shangping Ren: The ARC Programming Model - Language Constructs for Coordination. 95-113
• 
  José Antonio Martín, Ernesto Pimentel: Automatic Generation of Adaptation Contracts. 115-131
• 
  Yue Yu, Shangping Ren, Carolyn L. Talcott: Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. 133-153
• 
  Samira Tasharofi, Marjan Sirjani: Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. 155-174

Volume 229, Number 3, July 2009

• 
  Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto: Preface. 1-2
• 
  Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade: Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. 3-18
• 
  Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte: Security Policies Enforcement Using Finite Edit Automata. 19-35
• 
  Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente: On Symbolic Semantics for Name-decorated Contexts. 37-58
• 
  Luca Fossati, Daniele Varacca: A Petri Net Model of Handshake Protocols. 59-76
• 
  Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction. 77-95
• 
  Tobias Heindel: Towards Secrecy for Rewriting in Weakly Adhesive Categories. 97-115
• 
  Matthew Hennessy, Manish Gaur: Counting the Cost in the Picalculus (Extended Abstract). 117-129
• 
  Julian Rathke, Pawel Sobocinski: Making the Unobservable, Unobservable. 131-144

Volume 229, Number 4, August 2009

• 
  Matthew Hennessy, Bartek Klin: Preface. 1-2
• 
  Vincent Danos: Agile Modelling of Cellular Signalling (Invited Paper). 3-10
• 
  Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: MarCaSPiS: a Markovian Extension of a Calculus for Services. 11-26
• 
  Eike Best, Kerstin Strecker: Relational Semantics Revisited. 27-47
• 
  Peter D. Mosses, Mark J. New: Implicit Propagation in Structural Operational Semantics. 49-66
• 
  Gustavo A. Ospina, Baudouin Le Charlier: Formalisation of C Language Interfaces. 67-84
• 
  Muck van Weerdenburg, Michel A. Reniers: Structural Operational Semantics with First-Order Logic. 85-106
• 
  Muck van Weerdenburg: Automating Soundness Proofs. 107-118

Volume 229, Number 5, March 2011

• 
  Venanzio Capretta, Conor McBride: Preface. 1-2
• 
  Andreas Abel, Thorsten Altenkirch: A Partial Type Checking Algorithm for Type: Type. 3-17
• 
  Robert Atkey: What is a Categorical Model of Arrows? 19-37
• 
  Eric Badouel, Bernard Fotsing, Rodrigue Tchougong: Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. 39-56
• 
  Alcino Cunha, Hugo Pacheco: Algebraic Specialization of Generic Functions for Recursive Types. 57-74
• 
  Mauro Jaskelioff, Neil Ghani, Graham Hutton: Modularity and Implementation of Mathematical Operational Semantics. 75-95
• 
  Sam Lindley, Philip Wadler, Jeremy Yallop: Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous. 97-117
• 
  Benoît Razet: Simulating Finite Eilenberg Machines with a Reactive Engine. 119-134
• 
  Tarmo Uustalu, Varmo Vene: The Recursion Scheme from the Cofree Recursive Comonad. 135-157