
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:
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(2), Elsevier 2008 [contents]
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.