{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T08:28:20Z","timestamp":1648888100671},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2018,1,9]],"date-time":"2018-01-09T00:00:00Z","timestamp":1515456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s10586-017-1646-1","type":"journal-article","created":{"date-parts":[[2018,1,9]],"date-time":"2018-01-09T17:08:54Z","timestamp":1515517734000},"page":"623-634","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Research on concurrency comparison modeling based on \n                \n                  \n                \n                $$\\uppi $$\n                \n                  \n                    \u03c0\n                  \n                \n               calculus in future computer technology"],"prefix":"10.1007","volume":"22","author":[{"given":"Hao","family":"Bu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shihong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqiong","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,9]]},"reference":[{"key":"1646_CR1","volume-title":"Communicating and mobile systems: the $$\\pi $$ \u03c0","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. Cambridge University Press, Cambridge (1999)"},{"key":"1646_CR2","first-page":"91","volume-title":"Logic and Algebra of Specification","author":"R Milner","year":"1993","unstructured":"Milner, R.: The polyadic-calculus: a tutorial. In: Bauer, F.L., Brauer, W. (eds.) Logic and Algebra of Specification, pp. 91\u2013180. Springer, Berlin (1993)"},{"key":"1646_CR3","first-page":"239","volume":"198","author":"R Milner","year":"1997","unstructured":"Milner, R.: The polyadic \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus: a tutorial. Theor. Comput. Sci. 198, 239\u2013249 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"1646_CR4","doi-asserted-by":"publisher","first-page":"3429","DOI":"10.3233\/JIFS-169282","volume":"32","author":"H Bu","year":"2017","unstructured":"Bu, H., Zhu, R., Chen, S., Tan, X.: Sorting realization of well-ordered sets based on \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. J. Intell. Fuzzy Syst. 32, 3429\u20133445 (2017)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"1646_CR5","first-page":"1281","volume":"33","author":"H Bu","year":"2015","unstructured":"Bu, H., Chen, S.: The comparison realization of the expressions based on \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. Energy Educ. Sci. Technol. Part A 33, 1281\u20131296 (2015)","journal-title":"Energy Educ. Sci. Technol. Part A"},{"issue":"5","key":"1646_CR6","doi-asserted-by":"publisher","first-page":"331","DOI":"10.14257\/ijca.2016.9.5.32","volume":"9","author":"H Bu","year":"2016","unstructured":"Bu, H., Chen, S., Zhu, R., Tan, X.: The \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus-based algorithm in concurrency comparison. IJCA 9(5), 331\u2013340 (2016)","journal-title":"IJCA"},{"key":"1646_CR7","unstructured":"Bu, H., Chen, S., Zhu, R., Tan, X: A simple modeling and realization based on\n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -based comparison algorithm. In: International Conference on Advanced Materials and Computer Science 2016"},{"key":"1646_CR8","unstructured":"Yandong, W.: Research on formal verification of web services flow based on pi-calculus. Graduation thesis Zhejiang University (2008)"},{"key":"1646_CR9","unstructured":"Hongye, J.: Verification on the web service composition based on pi-calculus. Graduation thesis Taiyuan University of Technology (2008)"},{"key":"1646_CR10","unstructured":"Xiaojuan, C.: The expressiveness of \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus via programming. Dissertation Shanghai Jiao Tong University (2009)"},{"issue":"2","key":"1646_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.3724\/SP.J.1016.2011.00193","volume":"34","author":"KG Hao","year":"2011","unstructured":"Hao, K.G., Guo, X.Q., Li, X.N.: The pi+ calculus\u2014an extension of the pi calculus for expressing petri nets. Chin. J. Comput. 34(2), 193\u2013203 (2011)","journal-title":"Chin. J. Comput."},{"issue":"4","key":"1646_CR12","first-page":"11","volume":"30","author":"H Kang","year":"2009","unstructured":"Kang, H., Zeng, Y., Liu, Z.: Modeling the mobile communication service based on pi-calculus. J. Commun. 30(4), 11\u201316 (2009)","journal-title":"J. Commun."},{"key":"1646_CR13","doi-asserted-by":"crossref","unstructured":"Liu, X., Walker, D.: A polymorphic type system for the polyadic pi-calculus. In: Proceedings of the 6th International Conference on Concurrency Theory, pp. 103\u2013116. (1995)","DOI":"10.1007\/3-540-60218-6_8"},{"key":"1646_CR14","unstructured":"Pengwei, Y.: WS-BPEL modeling and realization based on \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. Graduation thesis Northwest University (2009)"},{"key":"1646_CR15","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.tcs.2012.07.034","volume":"458","author":"J Liu","year":"2012","unstructured":"Liu, J., Lin, H.: A complete symbolic bisimulation for full applied pi calculus. Theoret. Comput. 458, 76\u2013112 (2012)","journal-title":"Theoret. Comput."},{"key":"1646_CR16","doi-asserted-by":"crossref","unstructured":"Dreier, J., Ene, C., Lafourcade, P., Lakhnech, Y.: On unique decomposition of processes in the applied pi-calculus. In: Proceedings of the 16th International Conference Foundations of Software Science and Computation Structures, FOSSACS\u201913, vol. 7794, pp. 50\u201364, LNCS, Rome, Italy (2013)","DOI":"10.1007\/978-3-642-37075-5_4"},{"key":"1646_CR17","doi-asserted-by":"crossref","unstructured":"Demangeon, R., Honda, K.: Full abstraction in a subtyped pi-calculus with linear types. In: CONCUR, LNCS vol. 6901, pp. 280\u2013296 (2011)","DOI":"10.1007\/978-3-642-23217-6_19"},{"key":"1646_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.ic.2015.02.002","volume":"241","author":"D Mostrous","year":"2015","unstructured":"Mostrous, D., Yoshida, N.: Session typing and asynchronous subtyping forthehigher-order \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. Inf. Comput. 241, 227\u2013263 (2015)","journal-title":"Inf. Comput."},{"key":"1646_CR19","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.tcs.2015.11.033","volume":"612","author":"J Dreier","year":"2016","unstructured":"Dreier, J., Ene, C., Lafourcade, P., Lakhnech, Y.: On the existence and decidability of unique decompositions of processes in the applied \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                   -calculus. Theor. Comput. Sci. 612, 102\u2013125 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"1646_CR20","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1016\/j.procs.2015.02.158","volume":"46","author":"VG Lekshmy","year":"2015","unstructured":"Lekshmy, V.G., Bhaskar, J.: Programming smart environments using \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                  -calculus. Proced. Comput. Sci. 46, 884\u2013891 (2015)","journal-title":"Proced. Comput. Sci."},{"issue":"5","key":"1646_CR21","first-page":"1759","volume":"9","author":"J Liu","year":"2013","unstructured":"Liu, J., Wang, J., He, K., Li, X., Liu, F.: Using pi-calculus to model web service interaction. J. Comput. Inf. Syst. 9(5), 1759\u20131767 (2013)","journal-title":"J. Comput. Inf. Syst."},{"issue":"3","key":"1646_CR22","first-page":"1","volume":"5","author":"AK Nabih","year":"2011","unstructured":"Nabih, A.K., Goma, M.M., Osman, H.S., Aly, G.M.: Modeling, simulation, and control of smart homes using petrinets. Int. J. Smart Home 5(3), 1\u20134 (2011)","journal-title":"Int. J. Smart Home"},{"key":"1646_CR23","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.tcs.2015.11.033","volume":"612","author":"J Dreier","year":"2016","unstructured":"Dreier, J., Ene, C., Lafourcade, P., Lakhnech, Y.: On the existence and decidability of unique decompositions of processes in the applied \n                    \n                      \n                    \n                    $$\\pi $$\n                    \n                      \n                        \u03c0\n                      \n                    \n                   -calculus. Theor. Comput. Sci. 612, 102\u2013125 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"1646_CR24","doi-asserted-by":"crossref","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: Defining privacy for weighted votes, single and multi-voter coercion. In: Proceedings of the 17th European Symposium on Research in Computer Security, ESORICS\u201912, vol. 7459 pp. 451\u2013468, LNCS, Pisa, Italy (2012)","DOI":"10.1007\/978-3-642-33167-1_26"},{"key":"1646_CR25","doi-asserted-by":"crossref","unstructured":"Dreier, J., Ene, C., Lafourcade, P., Lakhnech, Y.: On unique decomposition of processes in the applied pi-calculus, in: Proceedings of the 16th International Conference Foundations of Software Science and Computation Structures, FOSSACS\u201913, vol. 7794 pp. 50\u201364, LNCS, Pisa, Italy (2013)","DOI":"10.1007\/978-3-642-37075-5_4"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1646-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-017-1646-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-017-1646-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T14:33:36Z","timestamp":1565620416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-017-1646-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,9]]},"references-count":25,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["1646"],"URL":"https:\/\/doi.org\/10.1007\/s10586-017-1646-1","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,9]]},"assertion":[{"value":"10 October 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 December 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 January 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}