Behavioural observations of cell movements with timing aspects

Bachman, 2001, New approaches to modelling complex biochemistry, Nature Methods, 8, 130, 10.1038/nmeth0211-130 2010 Jensen, 1992 Milner, 1999 Cardelli, 1998, Mobile ambients, Lecture Notes in Comput. Sci., 1378, 140, 10.1007/BFb0053547 Danos, 2004, Formal molecular biology, Theoret. Comput. Sci., 325, 69, 10.1016/j.tcs.2004.03.065 Leocadio, 2011, Anatomical and histological equivalence of the human, canine, and bull vas deferens, Canad. J. Urol., 18, 5699 B. Aman, G. Ciobanu, Observational equivalences in a bio-inspired formalism involving mobility and lifetimes, in: Proceedings of the 8th International Conference on Bioinspired Information and Communications Technologies, BICT, 2014, pp. 173–176. Aman, 2011 Lodish, 2003 Aman, 2010, Adding lifetime to objects and membranes in P systems, Internat. J. Comput. Commun. Control, V, 268, 10.15837/ijccc.2010.3.2480 Aman, 2008, On the relationship between membranes and ambients, Biosystems, 91, 515, 10.1016/j.biosystems.2007.01.006 Aman, 2008, Describing the immune system using enhanced mobile membranes, Electron. Notes Theor. Comput. Sci., 194, 5, 10.1016/j.entcs.2007.12.003 Janeway, 2001 Pinto, 2007, Modelling, property verification and behavioural equivalence of lactose operon regulation, Comput. Biol. Med., 37, 134, 10.1016/j.compbiomed.2006.01.006 Laneve, 2008, A simple calculus for proteins and cells, Theoret. Comput. Sci., 404, 127, 10.1016/j.tcs.2008.04.011 Ciobanu, 2008, Behaviour equivalences in timed distributed π-calculus, Lecture Notes in Comput. Sci., 5380, 190, 10.1007/978-3-540-89437-7_13 Barbuti, 2008, Compositional semantics and behavioural equivalences for P systems, Theoret. Comput. Sci., 395, 77, 10.1016/j.tcs.2008.01.028 Milner, 1992, Barbed bisimulation, Lecture Notes in Comput. Sci., 623, 685, 10.1007/3-540-55719-9_114 Hirschkoff, 2008, Separability in the ambient logic, Logical Methods Comput. Sci., 4, 1 Hennessy, 1985, Algebraic laws for nondeterminism and concurrency, J. Assoc. Comput. Mach., 32, s137, 10.1145/2455.2460 Henzinger, 1991, Timed transition systems, Lecture Notes in Comput. Sci., 600, 226, 10.1007/BFb0031995 Alur, 1994, A theory of timed automata, Theoret. Comput. Sci., 126, 183, 10.1016/0304-3975(94)90010-8 Ciobanu, 2006, Timers for distributed systems, Electron. Notes Theor. Comput. Sci., 164, 81, 10.1016/j.entcs.2006.07.013