Volume 194,
Number 1,
November 2007
Proceedings of the Fifth Workshop on Security Issues in Concurrency (SecCo 2007)
Volume 194,
Number 2,
January 2008
Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007)
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
Electronic Edition (link) BibTeX
- Bogdan Aman, Gabriel Ciobanu:
Describing the Immune System Using Enhanced Mobile Membranes.
5-18
Electronic Edition (link) BibTeX
- Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo:
An Intermediate Language for the Simulation of Biological Systems.
19-34
Electronic Edition (link) BibTeX
- Jiri Barnat, Lubos Brim, Ivana Cerná, S. Drazan, David Safránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.
35-50
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Chiara Bodei:
A Static Analysis for Beta-Binders.
69-85
Electronic Edition (link) BibTeX
- Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari:
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.
87-102
Electronic Edition (link) BibTeX
- Federica Ciocchetta, Jane Hillston:
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.
103-117
Electronic Edition (link) BibTeX
- David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen:
Concurrency in Biological Modeling: Behavior, Execution and Visualization.
119-131
Electronic Edition (link) BibTeX
- Mathias John, Roland Ewald, Adelinde M. Uhrmacher:
A Spatial Extension to the pi Calculus.
133-148
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Cristian Versari, Nadia Busi:
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.
165-180
Electronic Edition (link) BibTeX
Volume 194,
Number 4,
April 2008
- Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface.
1-3
Electronic Edition (link) BibTeX
- Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
A Service-Oriented Model for Embedded Peer-to-Peer Systems.
5-22
Electronic Edition (link) BibTeX
- Marcos López Sanz, César J. Acuña, Carlos E. Cuesta, Esperanza Marcos:
Modelling of Service-Oriented Architectures with UML.
23-37
Electronic Edition (link) BibTeX
- Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing Three Coordination Models: Reo, ARC, and RRD.
39-55
Electronic Edition (link) BibTeX
- José Proença, Dave Clarke:
Coordination Models Orc and Reo Compared.
57-76
Electronic Edition (link) BibTeX
- Christian Koehler, Alexander Lazovik, Farhad Arbab:
Connector Rewriting with High-Level Replacement Systems.
77-92
Electronic Edition (link) BibTeX
- Matteo Casadei, Andrea Omicini, Mirko Viroli:
Prototyping A&A ReSpecT in Maude.
93-109
Electronic Edition (link) BibTeX
- Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore:
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus.
111-132
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:26 2009
by Michael Ley (ley@uni-trier.de)