{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:55:07Z","timestamp":1729637707888,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/coginf.2004.1327460","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T11:07:46Z","timestamp":1216379266000},"page":"64-73","source":"Crossref","is-referenced-by-count":8,"title":["STOPA: a stochastic process algebra for the formal representation of cognitive systems"],"prefix":"10.1109","author":[{"given":"N.","family":"Lopez","sequence":"first","affiliation":[]},{"given":"M.","family":"Nunez","sequence":"additional","affiliation":[]},{"given":"F.L.","family":"Pelayo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55179-4_36"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0044-7"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"18"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-44685-0_22","article-title":"A testing theory for generally distributed stochastic processes","volume":"2154","author":"lo?pez","year":"2001","journal-title":"CONCUR 2001 LNCS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.3"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1123"},{"key":"12","first-page":"121","article-title":"Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras","volume":"729","author":"go?tz","year":"1993","journal-title":"16th Int Symp on Computer Performance Modelling Measurement and Evaluation (PERFORMANCE'93) LNCS"},{"key":"21","first-page":"365","article-title":"Testing semantics for probabilistic LOTOS","author":"nu?n?ez","year":"1995","journal-title":"Proc Formal Description Techniques VI"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00069-3"},{"key":"22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/3-540-60218-6_18","article-title":"Acceptance trees for probabilistic processes","volume":"962","author":"nu?n?ez","year":"1995","journal-title":"CONCUR'95 LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2003.1225974"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896401"},{"key":"25","article-title":"A structural approach to operational semantics","volume":"daimi fn 19","author":"plotkin","year":"1981","journal-title":"Technical Report"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2002.1039280"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020537121530"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025419826662"},{"journal-title":"Handbook of Process Algebra","year":"2001","author":"bergstra","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00169-J"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","author":"baeten","year":"2002","journal-title":"Process Algebra with Timing"},{"key":"30","first-page":"217","article-title":"CCS+ time = An interleaving model for real time systems","volume":"510","author":"yi","year":"1991","journal-title":"28th ICALP LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00040-1"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00043-3"},{"key":"5","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BFb0055638","article-title":"Towards performance evaluation with general distributions in process algebras","volume":"1466","author":"bravetti","year":"1998","journal-title":"CONCUR'98 LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2808"}],"event":{"name":"Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004.","start":{"date-parts":[[2004,8,17]]},"location":"Victoria, BC, Canada","end":{"date-parts":[[2004,8,17]]}},"container-title":["Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9252\/29351\/01327460.pdf?arnumber=1327460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T06:01:14Z","timestamp":1497765674000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1327460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/coginf.2004.1327460","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}