{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T06:35:38Z","timestamp":1777703738788,"version":"3.51.4"},"reference-count":18,"publisher":"SAGE Publications","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFS"],"published-print":{"date-parts":[[2017,4,24]]},"DOI":"10.3233\/jifs-169282","type":"journal-article","created":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T11:43:41Z","timestamp":1491565421000},"page":"3429-3445","source":"Crossref","is-referenced-by-count":1,"title":["Sorting realization of well-ordered sets\u00a0based on \u03c0-calculus"],"prefix":"10.1177","volume":"32","author":[{"given":"Hao","family":"Bu","sequence":"first","affiliation":[{"name":"State Key Lab of Software Engineering, Computer School of Wuhan University, China"},{"name":"Collaborative Innovation Center of Geospatial Technology, China"},{"name":"National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China"},{"name":"Computer School of Wuhan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Zhu","sequence":"additional","affiliation":[{"name":"State Key Lab of Software Engineering, Computer School of Wuhan University, China"},{"name":"Collaborative Innovation Center of Geospatial Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shihong","family":"Chen","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China"},{"name":"Computer School of Wuhan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqiong","family":"Tan","sequence":"additional","affiliation":[{"name":"Collaborative Innovation Center of Geospatial Technology, China"},{"name":"National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/JIFS-169282_ref1","unstructured":"Milner R. , Communicating and Mobile Systems, the \u03c0-calculus.:, Cambridge, UK, Cambridge University Press, 1999."},{"key":"10.3233\/JIFS-169282_ref2","first-page":"91","article-title":"The polyadic-calculus: A tutorial","volume":"94","author":"Milner","year":"1993","journal-title":"Logic and Algebra of Specification"},{"key":"10.3233\/JIFS-169282_ref3","first-page":"239","article-title":"The Polyadic \u03c0-Calculus: A tutorial","volume":"198","author":"Milner","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/JIFS-169282_ref4","first-page":"1281","article-title":"The comparison realization of the expressions based on \u03c0-calculus","volume":"33","author":"Bu","year":"2015","journal-title":"Energy Education Science & Technology part A"},{"key":"10.3233\/JIFS-169282_ref5","first-page":"103","volume-title":"Proceedings of the 6th International Conference on Concurrency Theory","author":"Liu","year":"1995"},{"issue":"2","key":"10.3233\/JIFS-169282_ref8","doi-asserted-by":"crossref","first-page":"193","DOI":"10.3724\/SP.J.1016.2011.00193","article-title":"The Pi+ calculus - An extension of the Pi calculus for expressing petri nets","volume":"34","author":"Kegang","year":"2011","journal-title":"Chinese Journal of Computers"},{"issue":"4","key":"10.3233\/JIFS-169282_ref9","first-page":"11","article-title":"Modeling the mobile communication service based on PI-calculus","volume":"30","author":"Hui","year":"2009","journal-title":"Journal on Communications"},{"key":"10.3233\/JIFS-169282_ref12","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.tcs.2012.07.034","article-title":"A complete symbolic bisimulation for full applied pi calculus","volume":"458","author":"Liu","year":"2012","journal-title":"Theoret Comput Sci"},{"key":"10.3233\/JIFS-169282_ref13","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/978-3-642-37075-5_4","volume-title":"Proceedings of the 16th International Conference Foundations of Software Science and Computation Structures, FOSSACS\u201913","author":"Dreier","year":"2013"},{"key":"10.3233\/JIFS-169282_ref14","unstructured":"Demangeon R. and Honda K. , Full abstraction in a subtyped pi-calculus with linear types, in: CONCUR, in: LNCS, vol. 6901, Springer-Verlag, 2011, pp. 280\u2013296."},{"key":"10.3233\/JIFS-169282_ref15","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.ic.2015.02.002","article-title":"Ession typing and asynchronous subtyping forthehigher-order \u03c0-calculus","volume":"241","author":"Mostrousa","year":"2015","journal-title":"Information and Computation"},{"key":"10.3233\/JIFS-169282_ref16","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.tcs.2015.11.033","article-title":"On the existence and decidability of unique decompositions of processes in the applied \u03c0 \u2013calculus","volume":"612","author":"Dreier","year":"2016","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/JIFS-169282_ref17","doi-asserted-by":"crossref","unstructured":"Lekshmy V.G. and Bhaskar J. , Programming Smart Environments Using \u03c0-calculus Procedia Computer Science, Volume 46, 2015, pp. 884\u2013891.","DOI":"10.1016\/j.procs.2015.02.158"},{"key":"10.3233\/JIFS-169282_ref18","first-page":"1759","article-title":"Using pi-calculus to model web service interaction","author":"Liu","year":"2013","journal-title":"Journal of Computational Information Systems"},{"key":"10.3233\/JIFS-169282_ref19","unstructured":"Nabih A.K. , Gomaa M.M. , Osman H.S. and Aly G.M. , Modeling, simulation, and control of smart homes using petrinets, International Journal of Smart Home 5(3) (2011)."},{"key":"10.3233\/JIFS-169282_ref20","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.tcs.2015.11.033","article-title":"On the existence and decidability of unique decompositions of processes in the applied \u03c0\u2013calculus","volume":"612","author":"Dreier","year":"2016","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/JIFS-169282_ref21","first-page":"451","volume-title":"Proceedings of the 17th European Symposium on Research in Computer Security, ESORICS\u201912","author":"Dreier","year":"2012"},{"key":"10.3233\/JIFS-169282_ref22","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/978-3-642-37075-5_4","volume-title":"Proceedings of the 16th International Conference Foundations of Software Science and Computation Structures, FOSSACS\u201913","author":"Dreier","year":"2013"}],"container-title":["Journal of Intelligent & Fuzzy Systems"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/JIFS-169282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:39:27Z","timestamp":1777455567000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/JIFS-169282"}},"subtitle":[],"editor":[{"given":"K.K.","family":"Mishra","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2017,4,24]]},"references-count":18,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.3233\/jifs-169282","relation":{},"ISSN":["1064-1246","1875-8967"],"issn-type":[{"value":"1064-1246","type":"print"},{"value":"1875-8967","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,24]]}}}