Electronic Notes in Theoretical Computer Science, Volume 194

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