Electronic Notes in Theoretical Computer Science, Volume 194

Volume 194, Number 1, November 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

• 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

• 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