61 lines
1.9 KiB
BibTeX
61 lines
1.9 KiB
BibTeX
@inproceedings{DBLP:conf/pads/PotierSM13,
|
|
author = {Martin Potier and
|
|
Antoine Spicher and
|
|
Olivier Michel},
|
|
editor = {Margaret L. Loper and
|
|
Gabriel A. Wainer},
|
|
title = {Topological computation of activity regions},
|
|
booktitle = {{SIGSIM} Principles of Advanced Discrete Simulation, {SIGSIM-PADS}
|
|
'13, Montreal, QC, Canada, May 19-22, 2013},
|
|
pages = {337--342},
|
|
publisher = {{ACM}},
|
|
year = {2013},
|
|
url = {http://doi.acm.org/10.1145/2486092.2486136},
|
|
doi = {10.1145/2486092.2486136},
|
|
timestamp = {Fri, 26 Sep 2014 14:02:17 +0200},
|
|
biburl = {http://dblp.uni-trier.de/rec/bib/conf/pads/PotierSM13},
|
|
bibsource = {dblp computer science bibliography, http://dblp.org}
|
|
}
|
|
|
|
@article{Chilton2014146,
|
|
title = "An algebraic theory of interface automata ",
|
|
journal = "Theoretical Computer Science ",
|
|
volume = "549",
|
|
number = "",
|
|
pages = "146 - 174",
|
|
year = "2014",
|
|
note = "",
|
|
issn = "0304-3975",
|
|
doi = "http://dx.doi.org/10.1016/j.tcs.2014.07.018",
|
|
url = "http://www.sciencedirect.com/science/article/pii/S0304397514005611",
|
|
author = "Chris Chilton and Bengt Jonsson and Marta Kwiatkowska",
|
|
keywords = "Component-based design",
|
|
keywords = "Interfaces",
|
|
keywords = "Specification theory",
|
|
keywords = "Compositionality",
|
|
keywords = "Refinement",
|
|
keywords = "Substitutivity",
|
|
keywords = "Synthesis "
|
|
}
|
|
|
|
@article{rozenbergzoom2014,
|
|
author = {Ehrenfeucht, Andrzej and Rozenberg, Grzegorz},
|
|
title = {Zoom Structures and Reaction Systems Yield Exploration Systems},
|
|
journal = {International Journal of Foundations of Computer Science},
|
|
volume = {25},
|
|
number = {03},
|
|
pages = {275-305},
|
|
year = {2014},
|
|
doi = {10.1142/S0129054114500142},
|
|
}
|
|
|
|
@misc{wholecell,
|
|
title = {Whole-cell modelling web page},
|
|
howpublished = {\url{http://www.wholecell.org/}}
|
|
}
|
|
|
|
@misc{combio,
|
|
title = {Combio web page},
|
|
howpublished = {\url{http://combio.abo.fi/}}
|
|
}
|