Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. In Jasmin Fisher, editor, Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Volume 5054 of Lecture Notes in Computer Science, pages 17-32, Springer, 2008. [doi]
Abstract is missing.