Abstract
In this chapter, we will review the process algebra without timing, known as ACP (Algebra of Communicating Processes), introduced in [21]. The purpose is primarily to acquire a good insight into the basic concepts of ACP-style process algebras in a setting without timing. ACP can be regarded as the core of all process algebras with timing presented in this book. Because it is much simpler than its generalizations with timing, ACP is more suitable to discuss elementary issues.KeywordsComposition OperatorOutput PortInput PortOperational SemanticSequential CompositionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have