Development of Research on Process Algebra

Jing An; Zhi Liu; Lu Feng Qian

doi:10.4028/www.scientific.net/AMM.635-637.1555

Paper Titles

Design and Implementation of Financial Virtual Experiment Teaching System Based on MATLAB and Data Warehouse
p.1535

Design and Implementation of the Routing Function in the NOX Controller for Software-Defined Networks
p.1540

Design and Validation of Extended CSP Model
p.1544

Design Research in Motion Cloud Computing Platform Based on a Training Aid System
p.1551

Development of Research on Process Algebra
p.1555

Dynamic Simulation of Four-Bar Mechanism Based on MS Excel
p.1561

Global Existence and Blow-Up of Weak Solutions for Nonlinear Wave Equations
p.1565

Haar Wavelet for the Natural Boundary Integral Equation
p.1569

Intrusion Detection Model Based on Fuzzy Comprehensive Evaluation
p.1574

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 635-637Development of Research on Process Algebra

Development of Research on Process Algebra

Abstract:

Process algebra is an algebra method of concurrency theory. Based on the relevant theories of process algebra, it is set forth several class process algebras and the important role they played in the development history of research on process algebra according to two breakthrough of process algebra. Finally it is introduced the applications of algebra process in the protocol verification, workflow description and other areas.

You might also be interested in these eBooks

Advanced Design and Manufacturing Technology IV

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 635-637)

Pages:

1555-1560

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.635-637.1555

Citation:

Cite this paper

Online since:

September 2014

Authors:

Jing An*, Zhi Liu, Lu Feng Qian

Keywords:

Concurrency Equivalence, Local Variable, Process Algebra

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] P. Linz. An Introduction to Formal Languages and Automata. Jones and Bartlett, (2001).

Google Scholar

[2] R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, (1989).

Google Scholar

[3] H. Bekič. Towards a Mathematical Theory of Processes. 1971, Technical Report TR 25. 125, IBM Laboratory Vienna.

Google Scholar

[4] R. Milner. A Calculus of Communicating Systems. 1980, Number 92 in Lecture Notes in Computer Science.

Google Scholar

[5] C. A. R. Hoare. A model for communicating sequential processes. Communications of the ACM, 1978, 21(8): 666-667.

Google Scholar

[6] J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Control, 1984, 60(1/3): 107-137.

DOI: 10.1016/s0019-9958(84)80025-x

Google Scholar

[7] S. Andova. Probabilistic Process Algebra. PhD thesis, Technische Universiteit Eindhoven, (2002).

Google Scholar

[8] Wong K. F, Low B and Yongjie R. A. workflow model for Chinese business processes[J]. International Journal of Computer Processing of Oriental Languages, 2001, 14(3): 233-258.

Google Scholar

[9] L. Aceto., Z. Ésik, W.J. Fokkink, and Ingolfsdottir, editor. Process Algebra: Open Problems and Future Directions. 2003, Volume NS-03-3 of BRICS Notes Series.

Google Scholar

[10] L. Aceto. Some of my favorite results in classic process algebra. 2003, Technical Report NS-03-2, BRICS.

Google Scholar

[11] Andrea Ferrara. Web Services: A Process Algebra Approach. DIS-Universita di Roma , Italia, (2004).

Google Scholar

[12] A. Aldini, M. Bernardo, and F. Corradini. A Process Algebraic Approach to Software Architecure Design. Springer, (2010).

Google Scholar

[13] R. Milner. The Space and Motion of Communicating Agents. Cambridge University Press, (2009).

Google Scholar