{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:43:11Z","timestamp":1725518591774},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875628"},{"type":"electronic","value":"9783540875635"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87563-5_13","type":"book-chapter","created":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T05:54:32Z","timestamp":1221458072000},"page":"224-245","source":"Crossref","is-referenced-by-count":1,"title":["A Comparative Study of STOPA and RTPA"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Lopez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"EATCS Monograph","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process algebra with timing","author":"J.C.M. Baeten","year":"2002","unstructured":"Baeten, J.C.M., Middelburg, C.A.: Process algebra with timing. EATCS Monograph. Springer, Heidelberg (2002)"},{"key":"13_CR2","series-title":"Cambridge Tracts in Computer Science 18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Computer Science 18. Cambridge University Press, Cambridge (1990)"},{"volume-title":"Handbook of Process Algebra","year":"2001","key":"13_CR3","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North Holland, Amsterdam (2001)"},{"issue":"1-2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BFb0055638","volume-title":"CONCUR \u201998 Concurrency Theory","author":"M. Bravetti","year":"1998","unstructured":"Bravetti, M., Bernardo, M., Gorrieri, R.: Towards performance evaluation with general distributions in process algebras. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 405\u2013422. Springer, Heidelberg (1998)"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-Markov processes. Theoretical Computer Science\u00a0282(1), 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"13_CR7","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.: Algebraic theory of probabilistic and non-deterministic processes. Journal of Logic and Algebraic Programming\u00a055(1\u20132), 57\u2013103 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R. Cleaveland","year":"1999","unstructured":"Cleaveland, R., Dayar, Z., Smolka, S.A., Yuen, S.: Testing preorders for probabilistic processes. Information and Computation\u00a0154(2), 93\u2013148 (1999)","journal-title":"Information and Computation"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-0-387-35358-6_12","volume-title":"Programming Concepts and Methods","author":"P.R. D\u2019Argenio","year":"1998","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P., Brinksma, E.: An algebraic approach to the specification of stochastic systems. In: Programming Concepts and Methods, pp. 126\u2013147. Chapman & Hall, Boca Raton (1998)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"J. Davies","year":"1995","unstructured":"Davies, J., Schneider, S.: A brief history of timed CSP. Theoretical Computer Science\u00a0138, 243\u2013271 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation\u00a0121(1), 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. G\u00f6tz","year":"1993","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729, pp. 121\u2013146. Springer, Heidelberg (1993)"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"P.G. Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: SPADES \u2013 a process algebra for discrete event simulation. Journal of Logic Computation\u00a010(1), 3\u201342 (2000)","journal-title":"Journal of Logic Computation"},{"key":"13_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"13_CR15","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-44685-0_22","volume-title":"CONCUR 2001 - Concurrency Theory","author":"N. L\u00f3pez","year":"2001","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M.: A testing theory for generally distributed stochastic processes. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 321\u2013335. Springer, Heidelberg (2001)"},{"key":"13_CR17","first-page":"64","volume-title":"3rd IEEE Int. Conf. on Cognitive Informatics, ICCI 2004","author":"N. L\u00f3pez","year":"2004","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Pelayo, F.L.: STOPA: A STOchastic Process Algebra for the formal representation of cognitive systems. In: 3rd IEEE Int. Conf. on Cognitive Informatics, ICCI 2004, pp. 64\u201373. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"4","key":"13_CR18","doi-asserted-by":"publisher","first-page":"47","DOI":"10.4018\/jcini.2007100104","volume":"1","author":"N. L\u00f3pez","year":"2007","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Pelayo, F.L.: Specifying the memorization process with STOPA. The International Journal of Cognitive Informatics & Natural Intelligence\u00a01(4), 47\u201360 (2007)","journal-title":"The International Journal of Cognitive Informatics & Natural Intelligence"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-48080-3_19","volume-title":"Innovative Internet Computing Systems","author":"N. L\u00f3pez","year":"2002","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: A formal framework for e-barter based on microeconomic theory and process algebras. In: Unger, H., B\u00f6hme, T., Mikler, A.R. (eds.) IICS 2002. LNCS, vol.\u00a02346, pp. 217\u2013228. Springer, Heidelberg (2002)"},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s00165-004-0044-7","volume":"16","author":"N. L\u00f3pez","year":"2004","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rubio, F.: An integrated framework for the analysis of asynchronous communicating stochastic processes. Formal Aspects of Computing\u00a016(3), 238\u2013262 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR21","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-55179-4_36","volume-title":"Computer Aided Verification","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 376\u2013398. Springer, Heidelberg (1992)"},{"issue":"1\u20132","key":"13_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S1567-8326(02)00069-3","volume":"56","author":"M. N\u00fa\u00f1ez","year":"2003","unstructured":"N\u00fa\u00f1ez, M.: Algebraic theory of probabilistic processes. Journal of Logic and Algebraic Programming\u00a056(1\u20132), 117\u2013177 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"13_CR24","first-page":"365","volume-title":"8th IFIP WG6.1 Int. Conf. on Formal Description Techniques, FORTE 1995","author":"M. N\u00fa\u00f1ez","year":"1996","unstructured":"N\u00fa\u00f1ez, M., de Frutos, D.: Testing semantics for probabilistic LOTOS. In: 8th IFIP WG6.1 Int. Conf. on Formal Description Techniques, FORTE 1995, pp. 365\u2013380. Chapman & Hall, Boca Raton (1996)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-60218-6_18","volume-title":"CONCUR \u201995 Concurrency Theory","author":"M. N\u00fa\u00f1ez","year":"1995","unstructured":"N\u00fa\u00f1ez, M., de Frutos, D., Llana, L.: Acceptance trees for probabilistic processes. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 249\u2013263. Springer, Heidelberg (1995)"},{"key":"13_CR26","first-page":"169","volume-title":"21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001","author":"M. N\u00fa\u00f1ez","year":"2001","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001, pp. 169\u2013185. Kluwer Academic Publishers, Dordrecht (2001)"},{"issue":"2","key":"13_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.scico.2005.01.002","volume":"57","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming\u00a057(2), 187\u2013216 (2005)","journal-title":"Science of Computer Programming"},{"key":"13_CR28","first-page":"271","volume-title":"7th Int. Conf. on Real-Time Systems and Applications","author":"F.L. Pelayo","year":"2000","unstructured":"Pelayo, F.L., Cuartero, F., Valero, V., Cazorla, D.: An example of performance evaluation by using the stochastic process algebra ROSA. In: 7th Int. Conf. on Real-Time Systems and Applications, pp. 271\u2013278. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"13_CR29","first-page":"238","volume-title":"4th IEEE Int. Conf. on Cognitive Informatics, ICCI 2005","author":"F.L. Pelayo","year":"2005","unstructured":"Pelayo, F.L., N\u00fa\u00f1ez, M., L\u00f3pez, N.: Specifying the memorization process with STOPA. In: 4th IEEE Int. Conf. on Cognitive Informatics, ICCI 2005, pp. 238\u2013247. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"13_CR30","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department. Aarhus University (1981)"},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theoretical Computer Science\u00a058, 249\u2013261 (1988)","journal-title":"Theoretical Computer Science"},{"volume-title":"Mind and brain science in the 21st century","year":"1999","key":"13_CR32","unstructured":"Solso, R.L. (ed.): Mind and brain science in the 21st century. MIT Press, Cambridge (1999)"},{"key":"13_CR33","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1146\/annurev.ps.44.020193.002321","volume":"44","author":"L.R. Squire","year":"1993","unstructured":"Squire, L.R., Knowlton, B., Musen, G.: The structure and organization of memory. Annual Review of Psychology\u00a044, 453\u2013459 (1993)","journal-title":"Annual Review of Psychology"},{"key":"13_CR34","first-page":"34","volume-title":"1st IEEE Int. Conf. on Cognitive Informatics, ICCI 2002","author":"Y. Wang","year":"2002","unstructured":"Wang, Y.: On cognitive informatics. In: 1st IEEE Int. Conf. on Cognitive Informatics, ICCI 2002, pp. 34\u201342. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"13_CR35","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1020561826073","volume":"14","author":"Y. Wang","year":"2002","unstructured":"Wang, Y.: The Real Time Process Algebra (RTPA). Annals of Software Engineering\u00a014, 235\u2013274 (2002)","journal-title":"Annals of Software Engineering"},{"key":"13_CR36","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1025419826662","volume":"4","author":"Y. Wang","year":"2003","unstructured":"Wang, Y.: Cognitive informatics: A new transdisciplinary research field. Brain and Mind\u00a04, 115\u2013127 (2003)","journal-title":"Brain and Mind"},{"key":"13_CR37","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1025457612549","volume":"4","author":"Y. Wang","year":"2003","unstructured":"Wang, Y.: Using process algebra to describe human and software behaviors. Brain and Mind\u00a04, 199\u2013213 (2003)","journal-title":"Brain and Mind"},{"key":"13_CR38","unstructured":"Wang, Y.: On the mathematical laws of software. In: 18th Canadian Conf. on Electrical and Computer Engineering, CCECE 2005, pp. 1086\u20131089 (2005)"},{"key":"13_CR39","first-page":"284","volume-title":"6th IEEE Int. Conf. on Cognitive Informatics, ICCI 2007","author":"Y. Wang","year":"2007","unstructured":"Wang, Y.: Formal description of the cognitive process of memorization. In: 6th IEEE Int. Conf. on Cognitive Informatics, ICCI 2007, pp. 284\u2013293. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Wang, Y.: A software science perspective, crc book series in software engineering. Sofware Engineering Foundations\u00a02 (2007)","DOI":"10.1201\/9780203496091.ch2"},{"issue":"1","key":"13_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jcini.2007010101","volume":"1","author":"Y. Wang","year":"2007","unstructured":"Wang, Y.: The theoretical framework of cognitive informatics. The International Journal of Cognitive Informatics & Natural Intelligence\u00a01(1), 1\u201327 (2007)","journal-title":"The International Journal of Cognitive Informatics & Natural Intelligence"},{"issue":"2","key":"13_CR42","doi-asserted-by":"publisher","first-page":"95","DOI":"10.4018\/jcini.2008040106","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: Deductive semantics of rtpa. The International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 95\u2013121 (2008)","journal-title":"The International Journal of Cognitive Informatics and Natural Intelligence"},{"issue":"2","key":"13_CR43","doi-asserted-by":"publisher","first-page":"44","DOI":"10.4018\/jcini.2008040103","volume":"2","author":"Y. Wang","year":"2008","unstructured":"Wang, Y.: A denotational mathematics for manipulating intelligent and computational behaviours. The International Journal of Cognitive Informatics and Natural Intelligence\u00a02(2), 44\u201362 (2008)","journal-title":"The International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"13_CR44","first-page":"124","volume-title":"3rd IEEE Int. Conf. on Cognitive Informatics, ICCI 2004","author":"Y. Wang","year":"2004","unstructured":"Wang, Y., Dong, L., Ruhe, G.: Formal description of the cognitive process of decision making. In: 3rd IEEE Int. Conf. on Cognitive Informatics, ICCI 2004, pp. 124\u2013130. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"13_CR45","first-page":"259","volume-title":"1st IEEE Int. Conf. on Cognitive Informatics, ICCI 2002","author":"Y. Wang","year":"2002","unstructured":"Wang, Y., Wang, Y.: Cognitive models of the brain. In: 1st IEEE Int. Conf. on Cognitive Informatics, ICCI 2002, pp. 259\u2013269. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"2","key":"13_CR46","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/TSMCC.2006.871120","volume":"36","author":"Y. Wang","year":"2006","unstructured":"Wang, Y., Wang, Y.: Recent advances in cognitive informatics. IEEE Transactions on Systems, Man, and Cybernetics C\u00a036(2), 121\u2013123 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics C"},{"key":"13_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-54233-7_136","volume-title":"Automata, Languages and Programming","author":"W. Yi","year":"1991","unstructured":"Yi, W.: CCS+ Time = an interleaving model for real time systems. In: Leach Albert, J., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510, pp. 217\u2013228. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87563-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:41:15Z","timestamp":1557794475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87563-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875628","9783540875635"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87563-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}