Wiebe, Philip John2024-08-152024-08-1519961996https://hdl.handle.net/1828/20108Process algebra is one formalism which aids in the design and verification of complex concurrent systems by using algebraic expressions to describe the architectural and behavioral aspects. We introduce ACS (Algebra of Communicating Systems), a process algebraic specification language which combines the simple syntax of CCS (Calculus of Communicating Systems) and the sequential composition of ACP (Algebra of Communicating Processes), adding the notion of data and value-passing, and user-definable operators. To aid in the simulation and debugging of ACS designs, a concurrent path expression language (CPE) is introduced. A Prolog implementation of ACS and CPE is presented.108 pagesAvailable to the World Wide WebThesis