{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:49:52Z","timestamp":1729608592640,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/coginf.2009.5250810","type":"proceedings-article","created":{"date-parts":[[2009,9,21]],"date-time":"2009-09-21T16:00:13Z","timestamp":1253548813000},"page":"69-76","source":"Crossref","is-referenced-by-count":0,"title":["Towards the Evolutionary Process Algebra"],"prefix":"10.1109","author":[{"given":"Fernando L.","family":"Pelayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"de la Ossa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan L.G.","family":"Guirao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"35","first-page":"10","article-title":"biases in the crossover landscape","author":"eshelman","year":"1997","journal-title":"Proceedings of the Third International Conference on Genetic Algorithms"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/90.298433"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-050684-5.50020-3"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00127-8"},{"journal-title":"An Analysis of the Behaviour of a Class of Genetic Adaptive Systems","year":"1975","author":"dejong","key":"34"},{"key":"16","article-title":"tipp - introduction and application to protocol performanceanalysis","author":"gotz","year":"1993","journal-title":"Formale Berchreibungstechniken fur Verteilte Systeme Saur-Verlag"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"14","article-title":"syntax, semantics, equivalences and axioms for mtipp","author":"hermanns","year":"1994","journal-title":"Proceedings of the 2nd International Workshop on Process Algebra and Performance Modelling"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128759"},{"journal-title":"Time and Probability in Formal Design of Distributed Systems","year":"1991","author":"hansson","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025419826662"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020537121530"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896401"},{"key":"23","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S1571-0661(04)80818-1","article-title":"analysis of the mpeg-2 encoding algorithm with rosa","volume":"80","author":"pelayo","year":"2003","journal-title":"Electronic Notes Theoret Comput Sci"},{"key":"24","first-page":"1","article-title":"ppnal: perfonnance evaluation in an algebraic model for probabilistic an nondeterministic processes","author":"pelayo","year":"1999","journal-title":"Proceedings of 15th Annual UK Performance Engineering Workshop (UKPEW'99)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(01)00213-7"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00040-1"},{"key":"27","first-page":"151","article-title":"basic properties of genetic algorithm","volume":"8","author":"uchibori","year":"1999","journal-title":"J Formalized Math"},{"key":"28","article-title":"a structural approach to operational semantics","author":"plotkin","year":"1981","journal-title":"Computer Science Department"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"29"},{"journal-title":"The Design of Innovation Lessons from and for Competent Genetic Algorithms","year":"2002","author":"goldberg","key":"3"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"2"},{"key":"10","first-page":"63","article-title":"automatic translation of tpal specifications into dynamic state graphs","author":"pardo","year":"2001","journal-title":"Proceedings of APSEC"},{"journal-title":"Adaptation in Natural and Artificial Systems","year":"1975","author":"holland","key":"1"},{"journal-title":"Representing non-deterministic and Probabilistic Behaviour in Reactive Processes","year":"1993","author":"lowe","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039073"},{"key":"6","first-page":"1","article-title":"finite markov chain analysis of tenetic algorithms","author":"goldberg","year":"0","journal-title":"Proceedings of the Second International Conference on Genetic Algorithms"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1080\/09528139008953723"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4369-5"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006504901164"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1997.592259"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"8","article-title":"towards a theory of testing for ccs with probability","author":"yi","year":"1991","journal-title":"Proc Chalmers Workshop on Concurrency"}],"event":{"name":"2009 8th IEEE International Conference on Cognitive Informatics (ICCI)","start":{"date-parts":[[2009,6,15]]},"location":"Kowloon, Hong Kong","end":{"date-parts":[[2009,6,17]]}},"container-title":["2009 8th IEEE International Conference on Cognitive Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5234366\/5250668\/05250810.pdf?arnumber=5250810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T23:56:06Z","timestamp":1497830166000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5250810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/coginf.2009.5250810","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}