Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDElectronic 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
a service of 
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.
last updated on 2022-09-29 21:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
