Volume 194, Number 1, November 2007

Proceedings of the Fifth Workshop on Security Issues in Concurrency (SecCo 2007)

• 
  Daniele Gorla, Catuscia Palamidessi: Preface. 1-2
• 
  Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. 3-22
• 
  Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. 23-38
• 
  Ilaria Castellani: State-oriented Noninterference for CCS. 39-60
• 
  Srecko Brlek, Sardaouna Hamadou, John Mullins: A Probabilistic Scheduler for the Analysis of Cryptographic Protocols. 61-83

Volume 194, Number 2, January 2008

Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007)

• 
  Roberto M. Amadio, Thomas T. Hildebrandt: Preface. 1
• 
  Johannes Borgström, Andrew D. Gordon, Andrew Phillips: A Chart Semantics for the Pi-Calculus. 3-29
• 
  Mario Bravetti: Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. 31-57
• 
  Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia: Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. 59-84
• 
  Bjørn Haagensen, Sergio Maffeis, Iain Phillips: Matching Systems for Concurrent Calculi. 85-99

Volume 194, Number 3, January 2008

Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)"

• 
  Nicola Cannata, Emanuela Merelli: Preface. 1-3
• 
  Bogdan Aman, Gabriel Ciobanu: Describing the Immune System Using Enhanced Mobile Membranes. 5-18
• 
  Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo: An Intermediate Language for the Simulation of Biological Systems. 19-34
• 
  Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. 35-50
• 
  Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. 51-67
• 
  Chiara Bodei: A Static Analysis for Beta-Binders. 69-85
• 
  Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari: A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. 87-102
• 
  Federica Ciocchetta, Jane Hillston: Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. 103-117
• 
  David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen: Concurrency in Biological Modeling: Behavior, Execution and Visualization. 119-131
• 
  Mathias John, Roland Ewald, Adelinde M. Uhrmacher: A Spatial Extension to the pi Calculus. 133-148
• 
  Claudia Täubner, Silke Eckstein: Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine. 149-164
• 
  Cristian Versari, Nadia Busi: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. 165-180

Volume 194, Number 4, April 2008

• 
  Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. 1-3
• 
  Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A Service-Oriented Model for Embedded Peer-to-Peer Systems. 5-22
• 
  Marcos López Sanz, César J. Acuña, Carlos E. Cuesta, Esperanza Marcos: Modelling of Service-Oriented Architectures with UML. 23-37
• 
  Carolyn L. Talcott, Marjan Sirjani, Shangping Ren: Comparing Three Coordination Models: Reo, ARC, and RRD. 39-55
• 
  José Proença, Dave Clarke: Coordination Models Orc and Reo Compared. 57-76
• 
  Christian Koehler, Alexander Lazovik, Farhad Arbab: Connector Rewriting with High-Level Replacement Systems. 77-92
• 
  Matteo Casadei, Andrea Omicini, Mirko Viroli: Prototyping A&A ReSpecT in Maude. 93-109
• 
  Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore: Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. 111-132