Top

Cluster Computing

Published in:

09-01-2018

Research on concurrency comparison modeling based on \(\uppi \) calculus in future computer technology

Authors: Hao Bu, Rong zhu, Shihong Chen, Xiaoqiong Tan

Published in: Cluster Computing | Special Issue 1/2019

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

\(\uppi \) calculus is an effective tool targeted at the description and modeling of mobile concurrency systems. In this paper, a brief introduction of \(\uppi \) calculus is followed with the discussion on the \(\uppi \)-calculus-based description and modeling of the comparison operation, one of the basic computer operations. According to the two different ways of data storage: the indexed storage and linked-list storage of elements, the paper analyzes the \(\uppi \)-calculus-based formalized description method in the comparison of any two elements. Moreover, a theoretical efficiency analysis is performed on the comparison algorithm of relatively complex linked-list storage of elements in this paper.

previous article Evolutionary energy balanced ant colony algorithm based on WSNs

next article Implementation of flexible denim nickel copper rip stop textile antenna for medical application

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Milner, R.: Communicating and mobile systems: the \(\pi \)-calculus. Cambridge University Press, Cambridge (1999)MATH

Milner, R.: The polyadic-calculus: a tutorial. In: Bauer, F.L., Brauer, W. (eds.) Logic and Algebra of Specification, pp. 91–180. Springer, Berlin (1993)

Milner, R.: The polyadic \(\pi \)-calculus: a tutorial. Theor. Comput. Sci. 198, 239–249 (1997)

Bu, H., Zhu, R., Chen, S., Tan, X.: Sorting realization of well-ordered sets based on \(\pi \)-calculus. J. Intell. Fuzzy Syst. 32, 3429–3445 (2017)CrossRefMATH

Bu, H., Chen, S.: The comparison realization of the expressions based on \(\pi \)-calculus. Energy Educ. Sci. Technol. Part A 33, 1281–1296 (2015)

Bu, H., Chen, S., Zhu, R., Tan, X.: The \(\pi \)-calculus-based algorithm in concurrency comparison. IJCA 9(5), 331–340 (2016)CrossRef

Bu, H., Chen, S., Zhu, R., Tan, X: A simple modeling and realization based on\(\pi \)-based comparison algorithm. In: International Conference on Advanced Materials and Computer Science 2016

Yandong, W.: Research on formal verification of web services flow based on pi-calculus. Graduation thesis Zhejiang University (2008)

Hongye, J.: Verification on the web service composition based on pi-calculus. Graduation thesis Taiyuan University of Technology (2008)

10.

Xiaojuan, C.: The expressiveness of \(\pi \)-calculus via programming. Dissertation Shanghai Jiao Tong University (2009)

11.

Hao, K.G., Guo, X.Q., Li, X.N.: The pi+ calculus—an extension of the pi calculus for expressing petri nets. Chin. J. Comput. 34(2), 193–203 (2011)MathSciNetCrossRef

12.

Kang, H., Zeng, Y., Liu, Z.: Modeling the mobile communication service based on pi-calculus. J. Commun. 30(4), 11–16 (2009)

13.

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–116. (1995)

14.

Pengwei, Y.: WS-BPEL modeling and realization based on \(\pi \)-calculus. Graduation thesis Northwest University (2009)

15.

Liu, J., Lin, H.: A complete symbolic bisimulation for full applied pi calculus. Theoret. Comput. 458, 76–112 (2012)MathSciNetCrossRefMATH

16.

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’13, vol. 7794, pp. 50–64, LNCS, Rome, Italy (2013)

17.

Demangeon, R., Honda, K.: Full abstraction in a subtyped pi-calculus with linear types. In: CONCUR, LNCS vol. 6901, pp. 280–296 (2011)

18.

Mostrous, D., Yoshida, N.: Session typing and asynchronous subtyping forthehigher-order \(\pi \)-calculus. Inf. Comput. 241, 227–263 (2015)CrossRefMATH

19.

Dreier, J., Ene, C., Lafourcade, P., Lakhnech, Y.: On the existence and decidability of unique decompositions of processes in the applied \(\pi \) -calculus. Theor. Comput. Sci. 612, 102–125 (2016)MathSciNetCrossRefMATH

20.

Lekshmy, V.G., Bhaskar, J.: Programming smart environments using \(\pi \)-calculus. Proced. Comput. Sci. 46, 884–891 (2015)CrossRef

21.

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–1767 (2013)

22.

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–4 (2011)

23.

24.

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’12, vol. 7459 pp. 451–468, LNCS, Pisa, Italy (2012)

25.

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’13, vol. 7794 pp. 50–64, LNCS, Pisa, Italy (2013)

Title: Research on concurrency comparison modeling based on calculus in future computer technology
Authors: Hao Bu
Rong zhu
Shihong Chen
Xiaoqiong Tan
Publication date: 09-01-2018
Publisher: Springer US
Published in: Cluster Computing / Issue Special Issue 1/2019
Print ISSN: 1386-7857
Electronic ISSN: 1573-7543
DOI: https://doi.org/10.1007/s10586-017-1646-1

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Special Issue 1/2019

Spatial task management method for location privacy aware crowdsourcing

An augmented approach for pseudo-free groups in smart cyber-physical system

Online handwritten signature verification based on the most stable feature and partition

Lossless and robust privacy preservation of association rules in data sanitization

A rational data delivery framework for disaster-inspired internet of nano-things (IoNT) in practice

Whole procedure heterogeneous multiprocessors low-power optimization at algorithm-level

Premium Partner