{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T11:15:31Z","timestamp":1772795731457,"version":"3.50.1"},"reference-count":27,"publisher":"Scientific Research Publishing, Inc.","issue":"01","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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSEA"],"published-print":{"date-parts":[[2011]]},"DOI":"10.4236\/jsea.2011.41002","type":"journal-article","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T11:12:24Z","timestamp":1332501144000},"page":"9-17","source":"Crossref","is-referenced-by-count":1,"title":["An Extension to Pi-Calculus for Performance Evaluation"],"prefix":"10.4236","volume":"04","author":[{"given":"Shahram","family":"Rahimi","sequence":"first","affiliation":[]},{"given":"Elham S.","family":"Khorasani","sequence":"additional","affiliation":[]},{"given":"Yung-Chuan","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Bidyut","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"2751","reference":[{"key":"ref1","unstructured":"R. Milner, J. Parrow and D. Walker, \u201cA Calculus of Mobile Processes\u2014Part I and II,\u201d LFCS Report 89-85, University of Edinburgh, Edinburgh, 1989."},{"key":"ref2","unstructured":"R. Milner, \u201cCommunicating and Mobile Systems: The \u03c0-Calculus,\u201d Cambridge University Press, Cambridge, 1999."},{"key":"ref3","unstructured":"R. Milner, \u201cThe Polyadic Pi-Calculus: A Tutorial,\u201d Technical Report ECSLFCS -91-180, Computer Science Department, University of Edinburgh, Edinburgh, 1991."},{"key":"ref4","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi, \u201cThe\u03c0-Calculus: A Theory of Mobile Processes,\u201d Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/9781316134924"},{"key":"ref5","unstructured":"D. Sangiorgi: \u201cExpressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms,\u201d Ph.D. Thesis, University of Edinburgh, Edinburgh, 1993."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"ref7","unstructured":"N. G tz, U. Herzog and M. Rettelbach, \u201cTIPP-A Language for Timed Processes and Performance Evaluation,\u201d Technical Report 4\/92. IMMD VII, University of Erlangen-Nurnberg, Erlangen, 1992."},{"key":"ref8","unstructured":"J. Hillston, \u201cA Compositional Approach to Performance Modelling,\u201d Ph.D. Thesis, University of Edinburgh, Edinburgh, 1994."},{"key":"ref9","unstructured":"M. Bernardo, L. Donatiello and R. Gorrieri, \u201cMPA: A Stochastic Process Algebra,\u201d Technial Report UBLCS- 94-10, University of Bologna, Bologna, 1994."},{"key":"ref10","unstructured":"P. Buchholz, \u201cOn a Markovian Process Algebra,\u201d Techinal Report Informatik IV, University of Dortmund, Dort- mund 1994."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055639"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"J. Markovski and E. P. de Vink, \u201cPerformance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra,\u201d Fundamenta Informaticae, Vol. 95, No. 1, October 2009, pp. 157-186.","DOI":"10.3233\/FI-2009-146"},{"key":"ref13","doi-asserted-by":"crossref","unstructured":"A. Clark, S. Gilmore, J. Hillston and M. Tribastone, \u201cStochastic Process Algebras,\u201d SFM\u201907 Proceedings of the 7th International Conference on Formal Methods for Performance Evaluation, 2007, pp 132-179.","DOI":"10.1007\/978-3-540-72522-0_4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.07.002"},{"key":"ref15","unstructured":"S. M. Ross, \u201cStochastic Processes,\u201d 2nd Edition, Wiley, New York, 1996."},{"key":"ref16","doi-asserted-by":"crossref","unstructured":"G. Bolch, S. Greiner, H. De Meer and K. S. Trivedi, \u201cQueuing Networks and Markov Chains: Modelling and Performance Evaluation with Computer Science Applications,\u201d Wiley, New York, 1998","DOI":"10.1002\/0471200581"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.962559"},{"key":"ref18","unstructured":"F. Logozzo, \u201cPi-Calculus as a Rapid Prototype Language For Performance Evaluation,\u201d Proceedings of the ICLP 2001 Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE 2001), 2001."},{"key":"ref19","unstructured":"S. Rahimi, M. Cobb, D. Ali, M. Paprzycki and F. Petry, \u201cA Knowledge-Based Multi-Agent System for Geospatial Data Conflation,\u201d Journal of Geographic Information and Decision Analysis, Vol. 6, No. 2, 2002, pp. 67-81."},{"key":"ref20","unstructured":"A. Grama, G. Karypis, V. Kumar and A Gupta, \u201cAn Introduction to Parallel Computing: Design and Analysis of Algorithms,\u201d 2nd Edition, Addison Wesley, Reading, 2003"},{"key":"ref21","unstructured":"W. R. Cockayne and M. Zyda, \u201cMobile Agents\u201d, Manning Publications Company, Greenwich, 1998."},{"key":"ref22","unstructured":"H. Samet, \u201cThe Design and Analysis of Spatial Data Structures,\u201d Addison-Wesley, Reading, 1989."},{"key":"ref23","unstructured":"S. Rahimi, \u201cUsing Api-Calculus for Formal Modeling of SDIAgent: A Multi-Agent Distributed Geospatial Data Integration,\u201d Journal of Geographic Information and Decision Analysis, Vol. 7, No. 2, 2003, pp. 132-149."},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2005.07.009"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.01.006"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(03)00343-0"},{"key":"ref27","unstructured":"P. Buchholz, \u201cEfficient Computation of Equivalent and Reduced Representations for Stochastic Automata,\u201d International Journal of Computer Systems Science & Engineering, Vol. 15, No. 2, March 2000, pp. 93-103."}],"container-title":["Journal of Software Engineering and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.scirp.org\/journal\/PaperDownload.aspx?DOI=10.4236\/jsea.2011.41002","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.scirp.org\/journal\/paperinformation?paperid=3678","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.scirp.org\/journal\/paperinformation?paperid=3678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T09:20:49Z","timestamp":1772788849000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scirp.org\/journal\/paperinformation?paperid=3678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"references-count":27,"journal-issue":{"issue":"01","published-print":{"date-parts":[[2011]]}},"URL":"https:\/\/doi.org\/10.4236\/jsea.2011.41002","relation":{},"ISSN":["1945-3116","1945-3124"],"issn-type":[{"value":"1945-3116","type":"print"},{"value":"1945-3124","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}