{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:17:07Z","timestamp":1753521427955},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2004,8]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>In this paper we present a design framework containing a process algebra and the concurrent functional programming language Eden. In order to study properties of a specification written in our process algebraic notation, we provide a translation mechanism to generate Eden programs. Once we have a translation, we may use the Eden tools to study the performance of the (simulation of the) system. In order to add expressiveness to our design language we use a very powerful process algebra. First, we allow the specification of delays induced by general random variables. We also consider value passing. Finally, the communication between concurrent processes is asynchronous. The usefulness of our framework is presented by two examples featuring all the characteristics of our process algebraic model, we give the corresponding translations, and we provide some performance measures obtained by using Eden tools.<\/jats:p>","DOI":"10.1007\/s00165-004-0044-7","type":"journal-article","created":{"date-parts":[[2004,5,8]],"date-time":"2004-05-08T05:35:48Z","timestamp":1083994548000},"page":"238-262","source":"Crossref","is-referenced-by-count":11,"title":["An integrated framework for the performance analysis of asynchronous communicating stochastic processes"],"prefix":"10.1145","volume":"16","author":[{"given":"Natalia","family":"L\u00f3pez","sequence":"first","affiliation":[{"name":"Departamento Sistemas Inform\u00e1ticos y Programaci\u00f3n, Facultad de Infom\u00e1tica, Universidad Complutense de Madrid, E-28040, Madrid, Spain"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[{"name":"Departamento Sistemas Inform\u00e1ticos y Programaci\u00f3n, Facultad de Infom\u00e1tica, Universidad Complutense de Madrid, E-28040, Madrid, Spain"}]},{"given":"Fernando","family":"Rubio","sequence":"additional","affiliation":[{"name":"Departamento Sistemas Inform\u00e1ticos y Programaci\u00f3n, Facultad de Infom\u00e1tica, Universidad Complutense de Madrid, E-28040, Madrid, Spain"}]}],"member":"320","reference":[{"key":"p_1","first-page":"304","volume-title":"FSTTCS'99, LNCS 1738","author":"Amadio RM","year":"1999"},{"key":"p_2","first-page":"58","volume-title":"ESOP'94, LNCS 778","author":"Andersen HR","year":"1994"},{"key":"p_3","first-page":"405","volume-title":"CONCUR'98, LNCS 1466","author":"Bravetti M","year":"1998"},{"key":"p_4","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/978-0-387-35394-4_28","volume-title":"Formal description techniques for distributed systems and communication protocols (XI), and protocol specification, testing, and verification (XVIII)","author":"Bernardo M","year":"1998"},{"key":"p_6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","article-title":"A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time","volume":"202","author":"Bernardo M","year":"1998","journal-title":"Theor Comput Sci"},{"issue":"1","key":"p_7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","article-title":"The theory of interactive generalized semi-Markov processes","volume":"282","author":"Bravetti M","year":"2002","journal-title":"Theor Comput Sci"},{"issue":"2","key":"p_8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0304-3975(97)00149-7","article-title":"A process algebraic view of linda coordination primitives","volume":"192","author":"Busi N","year":"1998","journal-title":"Theor Comput Sci"},{"key":"p_10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process algebra with timing. EATCS Monograph","author":"Baeten JCM","year":"2002"},{"key":"p_11","volume-title":"Handbook of Process Algebra. North Holland","author":"Bergstra JA","year":"2001"},{"issue":"2","key":"p_12","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1006\/inco.1999.2808","article-title":"Testing preorders for probabilistic processes","volume":"154","author":"Cleaveland R","year":"1999","journal-title":"Inf Comput"},{"key":"p_13","volume-title":"Model Checking","author":"Clarke EM","year":"1999"},{"key":"p_14","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","article-title":"Priorities in process algebras","volume":"87","author":"Cleaveland R","year":"1990","journal-title":"Inf Comput"},{"key":"p_15","volume-title":"Bergstra JA, Ponse A, Smolka SA (eds) Handbook of process algebra, North Holland","author":"Cleaveland R","year":"2001"},{"key":"p_17","first-page":"137","volume-title":"LICS'92","author":"de Boer FS","year":"1992"},{"key":"p_18","first-page":"85","volume-title":"6th International workshop on process algebra and performance modelling","author":"D'Argenio PR","year":"1998"},{"key":"p_19","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","article-title":"A brief history of timed CSP","volume":"138","author":"Davies J","year":"1995","journal-title":"Theor Comput Sci"},{"key":"p_20","first-page":"410","volume-title":"FME","author":"Garavel H","year":"2002"},{"key":"p_21","first-page":"121","volume-title":"16th international symposium on computer performance modelling, measurement and evaluation (PERFORMANCE'93)","author":"G\u00f6tz N","year":"1993"},{"issue":"1","key":"p_22","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/inco.1995.1123","article-title":"Reactive, generative and stratified models of probabilistic processes","volume":"121","author":"van Glabbeek R","year":"1995","journal-title":"Inf Comput"},{"key":"p_25","volume-title":"5th International workshop on formal methods for industrial critical systems","author":"Her H","year":"2000"},{"key":"p_26","volume-title":"A compositional approach to performance modelling","author":"Hil J","year":"1996"},{"key":"p_27","first-page":"420","volume-title":"IFM 2000, LNCS 1945, Springer, Berlin Heidelberg New York","author":"Hermanns H","year":"2000"},{"key":"p_28","first-page":"11","volume-title":"Intellect","author":"Hern\u00e1ndez F","year":"2000"},{"issue":"1","key":"p_29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","article-title":"SPADES-a process algebra for discrete event simulation","volume":"10","author":"Harrison PG","year":"2000","journal-title":"J Logic Comput"},{"key":"p_30","first-page":"57","volume-title":"Beyond memoryless distributions: model checking semi-markov chains","author":"Infante L\u00f3pez GG","year":"2001"},{"key":"p_31","volume-title":"Bergstra JA, Ponse A, Smolka SA (eds) Handbook of process algebra","author":"Jonsson B","year":"2001"},{"key":"p_32","first-page":"71","volume-title":"LNCS","author":"Klusik U","year":"2001"},{"key":"p_33","first-page":"321","volume-title":"CONCUR","author":"L\u00f3pez N","year":"2001"},{"key":"p_34","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-47884-1_3","volume-title":"Integrated formal methods","author":"L\u00f3pez N","year":"2002"},{"key":"p_35","volume-title":"GranSim User's Guide. Department of Computing Science","author":"Loi HW","year":"1996"},{"key":"p_36","first-page":"79","volume-title":"FORTE'88","author":"Md JA","year":"1988"},{"key":"p_37","first-page":"365","volume-title":"Formal description techniques VIII","author":"Nd M","year":"1995"},{"key":"p_38","first-page":"249","volume-title":"CONCUR'95, LNCS 962","author":"Nd M","year":"1995"},{"key":"p_39","first-page":"376","article-title":"An overview and synthesis on timed process algebras. In: Computer aided verification'91","volume":"575","author":"Nicollin X","year":"1991","journal-title":"LNCS"},{"issue":"1","key":"p_40","first-page":"117","article-title":"Algebraic theory of probabilistic processes","volume":"56","author":"N\u00fa M","year":"2003","journal-title":"J Logic Algebraic Programming"},{"key":"p_41","first-page":"295","volume-title":"ACM Symposium on principles of programming language POPL'96","author":"Peyton Jones SL","year":"1996"},{"key":"p_42","volume-title":"Report on the programming language haskell 98.","author":"Peyton Jones SL","year":"1999"},{"key":"p_43","first-page":"187","volume-title":"Principles and practice of declarative programming (PPDP01)","author":"Pea R","year":"2001"},{"key":"p_44","volume-title":"Inside COM: microsoft's component object model","author":"Rog D","year":"1997"},{"key":"p_45","volume-title":"LCR02","author":"Rub F","year":"2003"},{"key":"p_46","volume-title":"Modal and temporal properties of processes","author":"Sti","year":"2001"},{"key":"p_47","volume-title":"Computer networks","author":"Tan AS","year":"1996"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-004-0044-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-004-0044-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-004-0044-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:42:32Z","timestamp":1641483752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-004-0044-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["10.1007\/s00165-004-0044-7"],"URL":"https:\/\/doi.org\/10.1007\/s00165-004-0044-7","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}