nach oben

Cluster Computing

Erschienen in:

09.01.2018

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

verfasst von: Hao Bu, Rong zhu, Shihong Chen, Xiaoqiong Tan

Erschienen in: Cluster Computing | Sonderheft 1/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Vorheriger Artikel Evolutionary energy balanced ant colony algorithm based on WSNs

Nächster Artikel Implementation of flexible denim nickel copper rip stop textile antenna for medical application

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

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)

Titel: Research on concurrency comparison modeling based on calculus in future computer technology
verfasst von: Hao Bu
Rong zhu
Shihong Chen
Xiaoqiong Tan
Publikationsdatum: 09.01.2018
Verlag: Springer US
Erschienen in: Cluster Computing / Ausgabe Sonderheft 1/2019
Print ISSN: 1386-7857
Elektronische ISSN: 1573-7543
DOI: https://doi.org/10.1007/s10586-017-1646-1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Sonderheft 1/2019

A mutual refinement technique for big data retrieval using hash tag graph

Improved security and routing path learning in MANETs using Beer–Quiche game theoritical model in cloud computing

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

Intelligent computation techniques for optimization of the shortest path in an asynchronous network-on-chip

Optimized energy efficient route assigning method using related node discovery algorithm in MANET

Detection and prevention of black hole and selective forwarding attack in clustered WSN with Active Trust