{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:31:14Z","timestamp":1729654274219,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/coginf.2007.4341900","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:54Z","timestamp":1191951954000},"page":"273-283","source":"Crossref","is-referenced-by-count":2,"title":["Does ROSA provide a good view of the Memorizing Process?"],"prefix":"10.1109","author":[{"given":"Maria L.","family":"Pelayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"Diaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Nieto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Cognitive Science and Computer","year":"1999","author":"zhongzhi","key":"ref32"},{"journal-title":"Neural Computing","year":"1994","author":"zhongzhi","key":"ref31"},{"key":"ref30","article-title":"Towards a theory of testing for CCS with probability","author":"yi","year":"1991","journal-title":"Proc Chalmers Workshop on Concurrency"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2004.1327460"},{"journal-title":"Representing non-deterministic and Probabilistic Behaviour in Reactive Processes","year":"1993","author":"lowe","key":"ref12"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039073"},{"key":"ref15","first-page":"63","article-title":"Automatic translation of tpal specifications into dynamic state graphs","author":"pardo","year":"2001","journal-title":"Proc of APSEC'01"},{"key":"ref16","first-page":"1","article-title":"PP-NAL: Performance evaluation in an algebraic model for probabilistic an non-deterministic processes","author":"pelayo","year":"1999","journal-title":"Proceedings of 15th Annual UK Performance Engineering Workshop (UKPEW'99)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896401"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80818-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2005.1532624"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2003.1225945"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-0-387-35358-6_12","article-title":"An algebraic approach to the specification of stochastic systems","author":"d'argenio","year":"1998","journal-title":"Programming Concepts and Methods"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2003.1225963"},{"journal-title":"PNAL Un modelo algebraico para proce-sos probabilísticos y no deterministas","year":"2001","author":"cazorla","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128759"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2002.1039306"},{"key":"ref5","article-title":"TIPP - Introduction and application to protocol performance analysis","author":"g\u00f6tz","year":"1993","journal-title":"Formale Beschreibungstechniken fur verteilte Systeme"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"journal-title":"Time and Probability in Formal Design of Distributed Systems","year":"1991","author":"hansson","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"ref9","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":"ref1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/90.298433","article-title":"A LOTOS extension for the performance analysis of distributed systems","volume":"2","author":"ajmone","year":"1994","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2005.1532638"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2006.365674"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2006.04.054"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"journal-title":"A structural approach to operational semantics","year":"1981","author":"plotkin","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025419826662"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020537121530"}],"event":{"name":"6th IEEE International Conference on Cognitive Informatics","start":{"date-parts":[[2007,8,6]]},"end":{"date-parts":[[2007,8,8]]}},"container-title":["6th IEEE International Conference on Cognitive Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341857\/4341858\/04341900.pdf?arnumber=4341900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:46:26Z","timestamp":1497743186000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/coginf.2007.4341900","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}