{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:52:05Z","timestamp":1725583925178},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214974"},{"type":"electronic","value":"9783642214981"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21498-1_48","type":"book-chapter","created":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T05:47:41Z","timestamp":1306734461000},"page":"380-387","source":"Crossref","is-referenced-by-count":1,"title":["Looking for a Cheaper ROSA"],"prefix":"10.1007","author":[{"given":"Fernando L.","family":"Pelayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Bloom, B.: Ready Simulation, Bisimulation, and the Semantics of CCS-like Languages. PhD thesis, Department of Electrical Engineering and Computer Science, MIT (1989)"},{"issue":"1-2","key":"48_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S1567-8326(02)00040-1","volume":"55","author":"D. Cazorla","year":"2003","unstructured":"Cazorla, D., Cuartero, F., Valero, V., Pelayo, F.L., Pardo, J.J.: Algebriac Theory of Probabilistic and Nondeterministic Processes. Journal of Logic and Algebraic Programming\u00a055(1-2), 57\u2013103 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"48_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Formal Aspects of Computing\u00a05, 1\u201320 (1993)","journal-title":"Formal Aspects of Computing"},{"key":"48_CR4","volume-title":"Genetic algorithms in search, optimization, and machine learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic algorithms in search, optimization, and machine learning. Addison-Wesley, Reading (1989)"},{"key":"48_CR5","volume-title":"Adaptation in natural and artificial systems","author":"J.H. Holland","year":"1975","unstructured":"Holland, J.H.: Adaptation in natural and artificial systems. The University of Michigan Press, Ann Arbor (1975)"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Ortega-Mall\u00e9n, Y., de Frutos-Escrig, D.: A complete proof system for timed observations. In: TAPSOFT 1991, vol.\u00a01, pp. 412\u2013440 (1991)","DOI":"10.1007\/3-540-53982-4_23"},{"key":"48_CR7","first-page":"69","volume-title":"8th IEEE Int. Conf. on Cognitive Informatics","author":"F.L. Pelayo","year":"2009","unstructured":"Pelayo, F.L., Cuartero, F., Ossa, L., Pelayo, M.L., Guirao, J.L.G.: Towards the evolutionary process algebra. In: 8th IEEE Int. Conf. on Cognitive Informatics, pp. 69\u201376. IEEE Computer Society Press, Los Alamitos (2009)"},{"issue":"1","key":"48_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S1571-0661(04)80818-1","volume":"80","author":"F.L. Pelayo","year":"2003","unstructured":"Pelayo, F.L., Cuartero, F., Valero, V., Cazorla, D.: Analysis of the MPEG-2 encoding algorithm with ROSA. Electronic Notes on Theoretical Computer Science\u00a080(1), 185\u2013202 (2003), \n                    \n                      http:\/\/www.elsevier.nl\/locate\/entcs\/volume80.html","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"48_CR9","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.cam.2006.04.054","volume":"204","author":"F.L. Pelayo","year":"2007","unstructured":"Pelayo, F.L., Pelayo, M.L., Guirao, J.G.: Generating the syntactic and semantics graphs for a markovian process algebra. Journal of Computational and Applied Mathematics\u00a0204, 38\u201347 (2007)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Khurshid, S.: Exploring very large state spaces using genetic algorithms. In: Procedings of the Conference on Tools and Algorithms for Construction and Analysis of Systems, Grenoble, France, pp. 266\u2013280 (2002)","DOI":"10.1007\/3-540-46002-0_19"},{"issue":"3","key":"48_CR11","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1080\/00207160701210653","volume":"85","author":"J. Rodriguez-Lopez","year":"2008","unstructured":"Rodriguez-Lopez, J., Romaguera, S., Valero, O.: Denotational semantics for programming languages, balanced quasi-metrics and fixed points. International Journal of Computer Mathematics\u00a085(3), 623\u2013630 (2008)","journal-title":"International Journal of Computer Mathematics"}],"container-title":["Lecture Notes in Computer Science","Advances in Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21498-1_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T22:53:25Z","timestamp":1553727205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21498-1_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214974","9783642214981"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21498-1_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}