Spatio-logical processes in intracellular signalling

BioSystems

Volumn 55, Issue 1-3, 2000, Pages 83-92

  Fisher, Michael J ^a   Malcolm, Grant ^a   Paton, Raymond C ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Category theory; Computational agent; Rewrite systems; Signalling protein; Spatial organisation; Topology

Indexed keywords

CELL PROTEIN; PHOSPHOPROTEIN PHOSPHATASE; PROTEIN KINASE;

BIOLOGY; CELL; COMPUTER; CONFERENCE PAPER; INFORMATION PROCESSING; LOGIC; MATHEMATICAL MODEL; MODEL; SEMANTICS; SIGNAL TRANSDUCTION; SPATIAL ORIENTATION;

EID: 0034064199     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0303-2647(99)00086-6     Document Type: Conference Paper

References (43)

1. Bell A., Holcombe M. Computational models of cellular processing. Cuthbertson R., Holcombe M., Paton R. Computation in Cellular and Molecular Biological Systems. 1996;167-181 World Scientific, Singapore.
2. Bench-Capon T., Malcolm G. Formalising ontologies and their relations. Proceecings DEXA 1999, Springer Lecture Notes in Computer Science. 1999;Springer-Verlag, Berlin.
3. Bergstra J.A., Tucker J. Algebraic specifications of computable and semicomputable data types. Theor. Comput. Sci. 50:1987;137-181.
4. Brown, R., Heyworth, A., 1999. Using rewriting systems to compute Kan extensions and induced actions of categories. Department of Mathematics, University of Bangor, UK.
5. Ehresmann A.C., Vanbremeersch J.-P. Hierarchical evolutive systems: mathematical model for complex systems. Bull. Math. Biol. 49(1):1987;13-50.
6. Fisher M.J., Paton R.C., Matsuno K. Intracellular signalling proteins as 'smart' agents in parallel distributed processes. BioSystems. 50:1999;159-171.
7. Goguen J.A. Objects. Int. J. Gen. Syst. 1:1975;237-243.
8. Goguen J.A. Principles of parameterized programming. Biggerstaff T., Perlis A. Software Reusability: Concepts and Models. I:1989;Addison-Wesley, Reading, MA.
9. Goguen J.A., Diaconescu R. Towards an algebraic semantics for the object paradigm. Springer Lecture Notes in Computer Science. 785:1994;1-29 Springer-Verlag, Berlin.
10. Goguen J.A., Malcolm G. Algebraic Semantics of Imperative Programs. 1996;MIT Press, Cambridge, MA.
11. Goguen, J.A., Malcolm, G., 2000. A hidden agenda. Theor. Comput. Sci. (in press).
12. Goldblatt, R., 1992. Logics of Time and Computation, CSLI Lecture Notes Number 7. CSLI, University of Stanford.
13. Gruber, T., 1993. Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (Eds.), Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer, Boston, in preparation. Original paper presented at the International Workshop on Formal Ontology, March 1993. Available as Stanford Knowledge Systems Laboratory Report KSL-93-04.
14. Hardie D.G. Biochemical Messengers: Hormones, Neurotransmitters and Growth Factors. 1990;Chapman and Hall, London.
15. 2+/calmodulin-dependent protein kinases within the nucleus. Cell Calcium. 23:1998;103-114.
16. Holden A.V., Poole M.J., Tucker J.V. An algorithmic model of the mammalian heart: propagation, vulnerability, re-entry and fibrillation. Int. J. Bifurcation Chaos. 6(9):1996;1623-1635.
17. Hubbard M., Cohen P. On target with a mechanism for reversible phosphorylation. Trends Biochem. Sci. 18:1993;172-177.
18. Inagaki N., Ito M., Nakano T., Inagaki M. Spatiotemporal distribution of protein kinase and phosphatase activities. Trends Biochem. Sci. 19:1994;448-452.
19. Kemp B.E., Pearson R.B. Protein kinase recognition sequence motifs. Trends Biochem. Sci. 15:1990;342-346.
20. Kemp B.E., Faux M.C., Means A.R., House C., Tiganis T., Hu S.-H., Mitchelhill K.I. Structural aspects: pseudosubstrates and substrate interactions. Woodgett J.R. Protein Kinases. 1994;30-67 Oxford University Press, Oxford.
21. Klop J.W. Term rewriting systems. Abramsky S., Gabbay D., Maibaum T.S.E. Handbook of Logic in Computer Science. 1992;1-59 Oxford University Press, Oxford.
22. Krohn K., Langer R., Rhodes J.L. Algebraic principles for the analysis of a biochemical system. J. Theor. Biol. 116:1967;399-426.
23. Mac Lane S. Categories for the Working Mathematician, Springer-Verlag Graduate Texts in Mathematics. 5:1971;Springer-Verlag, Berlin.
24. Madhani H.D., Fink G.R. Combinatorial control required for the specificity of yeast MAPK signalling. Science. 275:1997;1314-1317.
25. Malcolm G. Interconnection of object specifications. Goldsack S., Kent S. Formal Methods and Object Technology. Springer Workshops in Computing. 1996;205-226 Springer-Verlag, Berlin.
26. Malcolm G. Behavioural equivalence, bisimilarity, and minimal realisation. Springer Lecture Notes in Computer Science. 1130:1996;359-378 Springer-Verlag, Berlin.
27. Malcolm, G., Cîrstea, C., 1995. Distributed operational semantics for the object paradigm. In: Working Papers of the International Workshop on Information Systems - Correctness and Reusablity, pp. 78-94.
28. Marshall C.J. Specificity of receptor tyrosine kinase signalling: transient versus sustained extracellular signal-regulated kinase activation. Cell. 80:1995;179-185.
29. Mauro L.J., Dixon J.E. Zip codes direct intracellular protein tyrosine phosphatases to the correct cellular address. Trends Biochem. Sci. 19:1994;151-155.
30. Meseguer J. A logical theory of concurrent objects and its realization in the Maude language. Agha G., Wegner P., Yonezawa A. Research Directions in Object-Based Concurrency. 1993;314-390 MIT Press, Camgridge, MA.
31. Morris, F.L., 1973. Advice on structuring compilers and proving them correct. ACM Symposium on Principles of Programming Languages, pp. 144-152.
32. O'Rourke S.M., Herskowitz I. The Hog1 MAPK prevents cross-talk between the HOG and pheromone response MAPK pathways in Saccharomyces cerevisiae. Genes Dev. 12:1998;2874-2886.
33. Paton, R.C., 2000. Systemic metaphors and integrative biology. Theor. Hist. Sci. (in press).
34. Paton R.C., Matsuno K. Verbs, glue and categories in the cellular economy. Holcombe M., Paton R. Information Processing in Cells and Tissues. 1998;253-260 Plenum Press, New York.
35. Paton R., Staniford G., Kendall G. Specifying logical agents in cellular hierarchies. Cuthbertson R., Holcombe M., Paton R. Computation in Cellular and Molecular Biological Systems. 1996;105-119 World Scientific, Singapore.
36. Plotkin, G., 1981. A structural approach to operational semantics. Report number DAIMI FN-19, Department of Computer Science, Aarhus University.
37. Rosen R. Life Itself. 1991;Columbia University Press, New York.
38. Rubin C.S. A kinase anchor proteins and the intracellular targeting of signals carried by cAMP. Biochim. Biophys. Acta. 1224:1994;467-479.
39. 2+/calmodulin-dependent protein kinase: domain structure and regulation. Trends Biochem. Sci. 14:1989;62-66.
40. Sprague G.F. Control of MAP Kinase signalling specificity or how not to go HOG wild. Genes Dev. 12:1998;2817-2820.
41. Srinivas Y.V., Jüllig R. Specware: Formal support for composing software. Springer Lecture Notes in Computer Science. 947:1993;399-422 Springer-Verlag, Berlin.
42. Takio K., Smith S.B., Krebs E.G., Walsh K.A., Titani K. Amino acid sequence of the regulatory subunit of bovine type II adenosine cyclic 3′,5′-phosphate-dependent protein kinase. Biochemistry. 23:1984;4200-4206.
43. Wooldridge M., Jennings N.R. Agent theories, architectures, and languages: a survey. Wooldridge M., Jennings N.R. Intelligent Agents. 1995;1-22 Springer-Verlag, Berlin.