Abstract
This chapter presents the syntax and semantics of our process algebraic formal language. The syntax describes the constructs comprising a process, while the semantics defines its meaning. This meaning is given in two ways. The first is structural operational, describing how a process may change its shape (structure) and how it may evolve based on the laws of communication. The second is a non-standard semantics designed to capture a specific meaning: name substitutions that occur as a result of processes communicating with one another. As we find out in later chapters, this meaning is fundamental as it underlines the definition of many useful safety and security properties in modern-day protocols.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
R. Milner, Communicating and Mobile Systems: The Pi-Calculus (Cambridge University Press, Cambridge, 1999)
R. Milner, J. Parrow, D. Walker, Inf. Comput. 100(1), 1 (1992)
R. Milner, The polyadic \(\pi \)-calculus: a tutorial. Technical report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK (1991)
G. Boudol, Asynchrony and the \(\pi \)-calculus. Technical report 1702, INRIA-Sophia Antipolis, Sophia Antipolis, France (1992)
K. Honda, M. Tokoro, in Proceedings of the ECOOP’91 Workshop on Object-Based Concurrent Computing, eds. by M. Tokoro, O. Nierstrasz, P. Wegner. Lecture Notes in Computer Science, vol. 612 (Springer, Geneva, Switzerland, 1992), pp. 21–51
J.W. Backus, in Information Processing, Proceedings of the 1st International Conference on Information Processing, UNESCO, Paris 15-20 June 1959 (UNESCO (Paris), 1959), pp. 125–131
J.W. Backus, F.L. Bauer, J. Green, C. Katz, J.L. McCarthy, A.J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J.H. Wegstein, A. van Wijngaarden, M. Woodger, P. Naur, Commun. ACM 6(1), 1 (1963)
B. Aziz, in 9th International Conference on Availability, Reliability and Security (ARES 2014), Fribourg, Switzerland (IEEE, 2014)
R. Milner, Lect. Notes Comput. Sci. 92 (1980)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Aziz, B. (2022). Process Algebra: Syntax and Semantics. In: Formal Analysis by Abstract Interpretation. SpringerBriefs in Applied Sciences and Technology. Springer, Cham. https://doi.org/10.1007/978-3-030-91153-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-91153-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-91152-2
Online ISBN: 978-3-030-91153-9
eBook Packages: Computer ScienceComputer Science (R0)