Volume 227; Issue none

Electronic Notes in Theoretical Computer Science

Volume 227; Issue none
1

Preface

Gabriel Ciobanu
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 94 KB
english, 2009
2

Translating Stochastic CLS into Maude

Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 521 KB
english, 2009
3

Modelling Biological Compartments in Bio-PEPA

Federica Ciocchetta, Maria Luisa Guerriero
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 388 KB
english, 2009
6

Reachability Analysis in BioAmbients

Gianluigi Zavattaro
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 288 KB
english, 2009
8

Timed P Automata

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 348 KB
english, 2009
9

External Control in Process Algebra for Systems Biology

Filippo Del Tedesco, Carla Piazza
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 1.23 MB
english, 2009
10

Control Flow Analysis for Brane Calculi

Chiara Bodei, Andrea Bracciali, Davide Chiarugi
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 678 KB
english, 2009
12

An Abstract Machine for the Stochastic Bioambient calculus

Andrew Phillips
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 343 KB
english, 2009