A Tool for prototyping concurrent design specifications

Simple item page
dc.contributor.authorWiebe, Philip Johnen_US
dc.date.accessioned2024-08-15T20:15:31Z
dc.date.available2024-08-15T20:15:31Z
dc.date.copyright1996en_US
dc.date.issued1996
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en
dc.description.abstractProcess 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.
dc.format.extent108 pages
dc.identifier.urihttps://hdl.handle.net/1828/20108
dc.rightsAvailable to the World Wide Weben_US
dc.titleA Tool for prototyping concurrent design specificationsen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
WIEBE_Philip_John_MSc_1996_691886.pdf
Size:
22.72 MB
Format:
Adobe Portable Document Format
Download

Collections

Electronic Theses and Dissertations (ETD)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.