Electronic Notes in Theoretical Computer Science, Volume 296
Volume 296, August 2013
- Elvio Gilberto Amparore, Susanna Donatelli: Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. 7-26
- Joaquim Assunção, Luciana Espindola, Paulo Fernandes, Maria Alejandra Gomez Pivel, Afonso Sales: A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns. 27-42
- Chris Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark: Stochastic Modelling of the Kai-based Circadian Clock. 43-60
- Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin: Exploiting product forms solution techniques in multiformalism modeling. 61-77
- Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston: Conservation of Mass Analysis for Bio-PEPA. 107-126
- Tom van Dijk, Alfons Laarman, Jaco van de Pol: Multi-Core BDD Operations for Symbolic Reachability. 127-143
- Hubert Garavel, Radu Mateescu, Wendelin Serwe: Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. 145-161
- Jasen Markovski, E. S. Estens Musa, Michel A. Reniers: Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. 163-181
- Erin Scott, Andrew Hoyle, Carron Shankland: PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. 211-228
- Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz: Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. 229-252
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team