Advertisement
Published in:
2022 | OriginalPaper | Chapter
2. Process Algebra: Syntax and Semantics
Author : Benjamin Aziz
Published in: Formal Analysis by Abstract Interpretation
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.