@article{Paun-Perez-Jimenez/12a,
AUTHOR = {P{\v{a}}un, Gheorghe and P{\'e}rez-Jim{\'e}nez, Mario J.},
TITLE = {An infinite hierarchy of languages defined by dP systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {4-12},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane computing, dp system, infinite hierarchy, simple matrix grammar},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751101019X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Pinna-Saba/12,
AUTHOR = {Pinna, G. Michele and Saba, Andrea},
TITLE = {Modeling dependencies and simultaneity in membrane system computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {13-39},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {membrane computing, zero-safe petri nets, event structures},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751101036X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cardelli-Gardner/12,
AUTHOR = {Cardelli, Luca and Gardner, Philippa},
TITLE = {Processes in space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {40-55},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {process algebra, affine geometry},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010176},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Delzanno-Zavattaro/12,
AUTHOR = {Delzanno, Giorgio and Zavattaro, Gianluigi},
TITLE = {Reachability problems in BioAmbients},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {56-74},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bio-inspired process calculi, reachability analysis, petri nets, turing completeness},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751101022X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Coppo-Damiani-Drocco-Grassi-Sciacca-Spinella-Troina/12,
AUTHOR = {Coppo, Mario and Damiani, Ferruccio and Drocco, Maurizio and Grassi, Elena and Sciacca, Eva and Spinella, Salvatore and Troina, Angelo},
TITLE = {Simulation techniques for the calculus of wrapped compartments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {75-95},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {term rewriting systems, stochastic/deterministic simulation methods, hybrid simulation, biochemical systems},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010395},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Barbuti-Caravagna-Maggiolo-Schettini-Milazzo-Tini/12,
AUTHOR = {Barbuti, Roberto and Caravagna, Giulio and Maggiolo-Schettini, Andrea and Milazzo, Paolo and Tini, Simone},
TITLE = {Foundational aspects of multiscale modeling of biological systems with process algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {96-116},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {process algebra, multiscale modeling, structural operational semantics, bisimulations},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010243},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bacci-Miculan/12,
AUTHOR = {Bacci, Giorgio and Miculan, Marino},
TITLE = {Measurable stochastics for Brane Calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {117-136},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {brane calculus, structural operational semantics, stochastic semantics, markov processes, rate bisimilarity, systems biology},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010218},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Feret-Henzinger-Koeppl-Petrov/12,
AUTHOR = {Feret, Jerome and Henzinger, Thomas and Koeppl, Heinz and Petrov, Tatjana},
TITLE = {Lumpability abstractions of rule-based systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {137-164},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {markov chains, abstraction, lumpability, bisimulation},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010255},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bioglio-Dezani-Ciancaglini-Giannini-Troina/12,
AUTHOR = {Bioglio, Livio and Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Troina, Angelo},
TITLE = {Typed stochastic semantics for the calculus of looping sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {165-180},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {calculus of looping sequences, systems biology, stochastic semantics},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010383},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lakin-Pauleve-Phillips/12,
AUTHOR = {Lakin, Matthew R. and Paulev{\'e}, Lo{\"{i}}c and Phillips, Andrew},
TITLE = {Stochastic simulation of multiple process calculi for biology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {181-206},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {generic abstract machine, stochastic simulation, pi-calculus, bioambient calculus, kappa calculus, correctness, implementation},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010231},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Banks-Steggles/12,
AUTHOR = {Banks, Richard and Steggles, L.J.},
TITLE = {An abstraction theory for qualitative models of biological systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {207-218},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {abstraction theory, qualitative biological models, multi-valued networks, genetic regulatory networks},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010371},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Giavitto-Klaudel-Pommereau/12,
AUTHOR = {Giavitto, Jean-Louis and Klaudel, Hanna and Pommereau, Franck},
TITLE = {Integrated regulatory networks (IRNs): Spatially organized biochemical modules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {431},
PAGES = {219-234},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {logical regulatory networks, topological collections, enumerable state space, spatial modeling, systems biology},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010206},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}