{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:15:21Z","timestamp":1725578121771},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148583"},{"type":"electronic","value":"9783642148590"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14859-0_18","type":"book-chapter","created":{"date-parts":[[2011,2,10]],"date-time":"2011-02-10T06:40:25Z","timestamp":1297320025000},"page":"224-244","source":"Crossref","is-referenced-by-count":4,"title":["A Research Framework for Interaction Computing"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Dini","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Schreckling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Andr\u00e9ka, H., Nem\u00e9ti, I., Sain, I.: Universal Algebraic Logic, 1st edn. Studies in Universal Logic. Springer, Heidelberg (to appear)"},{"key":"18_CR2","unstructured":"Bergstra, J.A., Klop, J.W.: ACP\u03c4: a universal axiom system for process specification, pp. 447\u2013463 (1989)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"The Vienna Development Method: The Meta-Language","year":"1978","unstructured":"Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol.\u00a061. Springer, Heidelberg (1978)"},{"issue":"1","key":"18_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst.\u00a014(1), 25\u201359 (1987)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"18_CR5","unstructured":"Briscoe, G.: D6.1-Entropy-Based Complexity Measure for the Evolution-Based Self-Organisation of Agent Populations. DBE Project (2004), http:\/\/files.opaals.org\/DBE\/deliverables"},{"key":"18_CR6","unstructured":"Briscoe, G., De Wilde, P.: D6.2-Self-Organisation of Evolving Service Populations. DBE Project (2005), http:\/\/files.opaals.org\/DBE\/deliverables"},{"key":"18_CR7","unstructured":"Briscoe, G., De Wilde, P.: D6.4-Intelligence, learning and neural networks in distributed agent systems. DBE Project (2005), http:\/\/files.opaals.org\/DBE\/deliverables"},{"key":"18_CR8","unstructured":"Briscoe, G., De Wilde, P.: D6.5-The effect of distributed intelligence in evolutionary dynamics. DBE Project (2006), http:\/\/files.opaals.org\/DBE\/deliverables"},{"key":"18_CR9","unstructured":"Briscoe, G., Dini, P.: Towards Autopoietic Computing. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1038\/096396d0","volume":"96","author":"E. Buckingham","year":"1915","unstructured":"Buckingham, E.: The principle of similitude. Nature\u00a096, 396\u2013397 (1915)","journal-title":"Nature"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1162\/106454606775186392","volume":"12","author":"D. Chu","year":"2006","unstructured":"Chu, D., Ho, W.K.: A Category Theoretical Argument Against the Possibility of Artificial Life: Robert Rosens Central Proof Revisited. Artificial Life\u00a012, 117\u2013134 (2006)","journal-title":"Artificial Life"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1162\/artl.2007.13.4.369","volume":"13","author":"D. Chu","year":"2007","unstructured":"Chu, D., Ho, W.K.: Computational Realizations of Living Systems. Artificial Life\u00a013, 369\u2013381 (2007)","journal-title":"Artificial Life"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1162\/artl.2007.13.3.299","volume":"13","author":"D. Chu","year":"2007","unstructured":"Chu, D., Ho, W.K.: The Localization Hypothesis and Machines. Artificial Life\u00a013, 299\u2013302 (2007)","journal-title":"Artificial Life"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/j.jtbi.2007.07.035","volume":"252","author":"A. Cornish-Bowden","year":"2008","unstructured":"Cornish-Bowden, A., Cardenas, M.L.: Self-organization at the origin of life. Journal of Theoretical Biology\u00a0252, 411\u2013418 (2008)","journal-title":"Journal of Theoretical Biology"},{"key":"18_CR15","unstructured":"Dini, P.: D18.4-Report on self-organisation from a dynamical systems and computer science viewpoint. DBE Project (2007), http:\/\/files.opaals.org\/DBE"},{"key":"18_CR16","unstructured":"Dini, P., Berdou, E.: D18.1-Report on DBE-Specific Use Cases. DBE Project (2004), http:\/\/files.opaals.org\/DBE"},{"key":"18_CR17","unstructured":"Dini, P., Briscoe, G., Munro, A.J., Lain, S.: D1.1: Towards a Biological and Mathematical Framework for Interaction Computing. OPAALS Deliverable, European Commission (2008), http:\/\/files.opaals.org\/OPAALS\/Year_2_Deliverables\/WP01\/"},{"key":"18_CR18","unstructured":"Dini, P., Horvath, G., Schreckling, D., Pfeffer, H.: D2.2.9: Mathematical Framework for Interaction Computing with Applications to Security and Service Choreography. BIONETS Deliverable, European Commission (2009), http:\/\/www.bionets.eu"},{"key":"18_CR19","unstructured":"Dini, P., Schreckling, D.: More Notes on Abstract Algebra and Logic: Towards their Application to Cell Biology and Security. In: 1st OPAALS Workshop, Rome, November 26-27 (2007)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Dini, P., Schreckling, D.: On Abstract Algebra and Logic: Towards their Application to Cell Biology and Security. In: Altman, E., Dini, P., Miorandi, D., Schreckling, D. (eds.) D2.1.1 Paradigms and Foundations of BIONETS research (2007)","DOI":"10.1109\/DEST.2008.4635187"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Dini, P., Schreckling, D.: Notes on Abstract Algebra and Logic: Towards their Application to Cell Biology and Security. In: 2nd International Conference on Digital Ecosystems and Technologies, IEEE-DEST 2008, February 26-29 (2008)","DOI":"10.1109\/DEST.2008.4635187"},{"key":"18_CR22","unstructured":"Dini, P., Schreckling, D., Yamamoto, L.: D2.2.4: Evolution and Gene Expression in BIONETS: A Mathematical and Experimental Framework. BIONETS Deliverable, European Commission (2008), http:\/\/www.bionets.eu"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Egri-Nagy, A., Dini, P., Nehaniv, C.L., Schilstra, M.J.: Transformation Semigroups as Constructive Dynamical Spaces. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)","DOI":"10.1007\/978-3-642-14859-0_19"},{"issue":"1-2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.biosystems.2008.05.019","volume":"94","author":"A. Egri-Nagy","year":"2008","unstructured":"Egri-Nagy, A., Nehaniv, C.L.: Algebraic Properties of Automata Associated to Petri Nets and Applications to Computation in Biological Systems. BioSystems\u00a094(1-2), 135\u2013144 (2008)","journal-title":"BioSystems"},{"issue":"1-2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.biosystems.2008.05.018","volume":"94","author":"A. Egri-Nagy","year":"2008","unstructured":"Egri-Nagy, A., Nehaniv, C.L., Rhodes, J.L., Schilstra, M.J.: Automatic Analysis of Computation in Biochemical Reactions. BioSystems\u00a094(1-2), 126\u2013134 (2008)","journal-title":"BioSystems"},{"issue":"3","key":"18_CR26","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1162\/artl.2008.14.3.14305","volume":"14","author":"A. Egri-Nagy","year":"2008","unstructured":"Egri-Nagy, A., Nehaniv, C.L.: Hierarchical coordinate systems for understanding complexity and its evolution with applications to genetic regulatory networks. Artificial Life\u00a014(3), 299\u2013312 (2008) (Special Issue on the Evolution of Complexity)","journal-title":"Artificial Life"},{"key":"18_CR27","unstructured":"Egri-Nagy, A., Nehaniv, C.L.: SgpDec - software package for hierarchical coordi-natization of groups and semigroups, implemented in the GAP computer algebra system (2008), http:\/\/sgpdec.sf.net"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Eigen, M., Schuster, P.: The Hypercycle. Naturwissenschaften\u00a065(1) (1978)","DOI":"10.1007\/BF00420631"},{"key":"18_CR29","unstructured":"Fielding, R.: Architectural Styles and the Design of Network-based Software Architectures. UC Irvine PhD Dissertation (2000), http:\/\/www.ics.uci.edu\/fielding\/pubs\/dissertation\/top.htm"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Gabriel, R.P., Goldman, R.: Conscientious software. In: OOPSLA\u201906, Portland, Oregon, October 22-26 (2006)","DOI":"10.1145\/1167473.1167510"},{"key":"18_CR31","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1090\/S0273-0979-06-01108-6","volume":"43","author":"M. Golubitsky","year":"2006","unstructured":"Golubitsky, M., Stewart, I.: Nonlinear Dynamics of Networks: The Groupoid Formalism. Bulletin of the American Mathematical Society\u00a043, 305\u2013364 (2006)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"18_CR32","unstructured":"Heistracher, T., Kurz, T., Marcon, G., Masuch, C.: D9.1-Report on Fitness Landscape. DBE Project (2005), http:\/\/files.opaals.org\/DBE\/deliverables"},{"issue":"8","key":"18_CR33","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. ACM Commun.\u00a021(8), 666\u2013677 (1978)","journal-title":"ACM Commun."},{"key":"18_CR34","unstructured":"Horvath, G.: Functions and Polynomials over Finite Groups from the Computational Perspective. The University of Hertfordshire, PhD Dissertation (2008)"},{"key":"18_CR35","unstructured":"Horvath, G., Dini, P.: Lie Group Analysis of p53-mdm3 Pathway. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)"},{"key":"18_CR36","volume-title":"Topics in Mathematical System Theory","author":"R.E. Kalman","year":"1969","unstructured":"Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in Mathematical System Theory. McGraw-Hill, New York (1969)"},{"key":"18_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The Origins of Order: Self-Organisation and Selection in Evolution","author":"S. Kauffman","year":"1993","unstructured":"Kauffman, S.: The Origins of Order: Self-Organisation and Selection in Evolution. Oxford University Press, Oxford (1993)"},{"key":"18_CR38","first-page":"450","volume":"116","author":"K. Krohn","year":"1965","unstructured":"Krohn, K., Rhodes, J.: Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines. Transactions of the American Mathematical Society\u00a0116, 450\u2013464 (1965)","journal-title":"I. Prime Decomposition Theorem for Finite Semigroups and Machines. Transactions of the American Mathematical Society"},{"key":"18_CR39","unstructured":"Kurz, T., Marcon, G., Okada, H., Heistracher, T., Passani, A.: D9.2-Report on Evolutionary and Distributed Fitness Environment. DBE Project (2006), http:\/\/files.opaals.org\/DBE\/deliverables"},{"key":"18_CR40","unstructured":"Lahti, J., Huusko, J., Miorandi, D., Bassbouss, L., Pfeffer, H., Dini, P., Horvath, G., Elaluf-Calderwood, S., Schreckling, D., Yamamoto, L.: D3.2.7: Autonomic Services within the BIONETS SerWorks Architecture. BIONETS Deliverable, European Commission (2009), http:\/\/www.bionets.eu"},{"key":"18_CR41","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1162\/artl.2007.13.3.293","volume":"13","author":"A.H. Louie","year":"2007","unstructured":"Louie, A.H.: A Living System Must Have Noncomputable Models. Artificial Life\u00a013, 293\u2013297 (2007)","journal-title":"Artificial Life"},{"key":"18_CR42","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1093\/imamat\/38.2.129","volume":"38","author":"S. Maeda","year":"1987","unstructured":"Maeda, S.: The similarity method for difference equations. IMA Journal of Applied Mathematics\u00a038, 129\u2013134 (1987)","journal-title":"IMA Journal of Applied Mathematics"},{"key":"18_CR43","doi-asserted-by":"publisher","DOI":"10.1142\/5506","volume-title":"Emergence of Dynamical Order","author":"S.C. Manrubia","year":"2004","unstructured":"Manrubia, S.C., Mikhailov, A.S., Zanette, D.H.: Emergence of Dynamical Order. World Scientific, Singapore (2004)"},{"key":"18_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8947-4","volume-title":"Autopoiesis and Cognition, the Realization of the Living.","author":"H. Maturana","year":"1980","unstructured":"Maturana, H., Varela, F.: Autopoiesis and Cognition, the Realization of the Living. D. Reidel Publishing Company, Boston (1980)"},{"key":"18_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"1","key":"18_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Inf. Comput.\u00a0100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"18_CR47","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1162\/106454600568311","volume":"6","author":"C.L. Nehaniv","year":"2000","unstructured":"Nehaniv, C.L., Rhodes, J.L.: The Evolution and Understanding of Hierarchical Complexity in Biology from an Algebraic Perspective. Artificial Life\u00a06, 45\u201367 (2000)","journal-title":"Artificial Life"},{"key":"18_CR48","volume-title":"Self-Organization in Nonequilibrium Systems","author":"G. Nicolis","year":"1977","unstructured":"Nicolis, G., Prigogine, I.: Self-Organization in Nonequilibrium Systems. Wiley, New York (1977)"},{"key":"18_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0274-2","volume-title":"Applications of Lie Groups to Differential Equations","author":"P. Olver","year":"1986","unstructured":"Olver, P.: Applications of Lie Groups to Differential Equations. Springer, Heidelberg (1986)"},{"key":"18_CR50","volume-title":"Mathematical Biophysics and Physico-Mathematical Foundations of Biology","author":"N. Rashevsky","year":"1960","unstructured":"Rashevsky, N.: Mathematical Biophysics and Physico-Mathematical Foundations of Biology, vol.\u00a0II. Dover, New York (1960)"},{"key":"18_CR51","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF02478302","volume":"20","author":"R. Rosen","year":"1958","unstructured":"Rosen, R.: A Relational Theory of Biological Systems. Bulletin of Mathematical Biophysics\u00a020, 245\u2013260 (1958)","journal-title":"Bulletin of Mathematical Biophysics"},{"key":"18_CR52","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF02477890","volume":"20","author":"R. Rosen","year":"1958","unstructured":"Rosen, R.: The Representation of Biological Systems from the Standpoint of the Theory of Categories. Bulletin of Mathematical Biophysics\u00a020, 317\u2013341 (1958)","journal-title":"Bulletin of Mathematical Biophysics"},{"key":"18_CR53","volume-title":"Foundations of Mathematical Biology. Cellular Systems","author":"R. Rosen","year":"1972","unstructured":"Rosen, R.: Some relational cell models: The metabolism-repair systems. In: Rosen, R. (ed.) Foundations of Mathematical Biology. Cellular Systems, vol.\u00a0II, Academic Press, London (1972)"},{"key":"18_CR54","volume-title":"Life Itself","author":"R. Rosen","year":"1991","unstructured":"Rosen, R.: Life Itself. Columbia University Press, New York (1991)"},{"key":"18_CR55","unstructured":"Rowe, J.E., Mitavskiy, B.: D8.1 - report on evolution of high-level software components (April 2005)"},{"key":"18_CR56","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.mbs.2006.03.017","volume":"202","author":"R. Sanchez","year":"2006","unstructured":"Sanchez, R., Grau, R., Morgado, E.: A novel Lie algebra of the genetic code over the Galois field of four DNA bases. Mathematical Biosciences\u00a0202, 156\u2013174 (2006)","journal-title":"Mathematical Biosciences"},{"key":"18_CR57","first-page":"29","volume":"52","author":"R. Sanchez","year":"2004","unstructured":"Sanchez, R., Morgado, E., Grau, R.: The genetic code boolean lattice. Communications in Mathematical and Computational Chemistry\u00a052, 29\u201346 (2004)","journal-title":"Communications in Mathematical and Computational Chemistry"},{"key":"18_CR58","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s00285-005-0332-8","volume":"51","author":"R. Sanchez","year":"2005","unstructured":"Sanchez, R., Morgado, E., Grau, R.: Gene algebra from a genetic code algebraic structure. Journal of Mathematical Biology\u00a051, 431\u2013457 (2005)","journal-title":"Journal of Mathematical Biology"},{"key":"18_CR59","doi-asserted-by":"crossref","unstructured":"Schreckling, D., Dini, P.: Distributed Online Evolution: An Algebraic Problem? In: IEEE 10th Congress on Evolutionary Computation, Trondheim, Norway, May 18-21 (2009)","DOI":"10.1109\/CEC.2009.4983111"},{"key":"18_CR60","volume-title":"The Z notation:a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation:a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"18_CR61","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0839-0","volume-title":"Galois Theory","author":"I. Stewart","year":"1989","unstructured":"Stewart, I.: Galois Theory, 2nd edn. Chapman and Hall, London (1989)","edition":"2"},{"key":"18_CR62","doi-asserted-by":"crossref","unstructured":"Van Leeuwen, I., Munro, A.J., Sanders, I., Staples, O., Lain, S.: Numerical and Experimental Analysis of the p53-mdm2 Regulatory Pathway. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)","DOI":"10.1007\/978-3-642-14859-0_20"},{"key":"18_CR63","doi-asserted-by":"crossref","unstructured":"Voss, R.F., Clarke, J.: 1\/f noise in music: Music from 1\/f noise. Journal of the Acoustical Society of America\u00a063(1) (1978)","DOI":"10.1121\/1.381721"},{"key":"18_CR64","first-page":"744","volume":"43","author":"A. Weinstein","year":"1996","unstructured":"Weinstein, A.: Groupoids: unifying internal and external symmetry. Notices of the American Mathematical Society\u00a043, 744\u2013752 (1996)","journal-title":"Notices of the American Mathematical Society"},{"key":"18_CR65","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1162\/artl.2007.13.3.291","volume":"13","author":"O. Wolkenhauer","year":"2007","unstructured":"Wolkenhauer, O.: Interpreting Rosen. Artificial Life\u00a013, 291\u2013292 (2007)","journal-title":"Artificial Life"},{"key":"18_CR66","doi-asserted-by":"publisher","DOI":"10.1142\/4777","volume-title":"Synchronization in Coupled Chaotic Circuits and Systems","author":"C.W. Wu","year":"2002","unstructured":"Wu, C.W.: Synchronization in Coupled Chaotic Circuits and Systems. World Scientific, Singapore (2002)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Digital Ecosystems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14859-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T00:38:31Z","timestamp":1712191111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14859-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148583","9783642148590"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14859-0_18","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2010]]}}}