{"id":{"repo_id":"uvic","oai_identifier":"oai:dspace.library.uvic.ca:1828/20108"},"canonical_url":"https://search.dev.ndltd.org/etd/uvic/oai:dspace.library.uvic.ca:1828/20108","repository":{"repo_id":"uvic","name":"University of Victoria (Canada)","base_url":"https://dspace.library.uvic.ca/server/oai/request"},"display":{"title":"A Tool for prototyping concurrent design specifications","abstract":"Process 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.","abstract_html":"Process 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.","abstract_has_math":false,"creators":["Wiebe, Philip John"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1996,"date_issued":"1996","date_published":"1996","updated_at":"2026-07-24T05:52:40Z","subjects":[],"languages":[],"rights":["Available to the World Wide Web"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1828/20108","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Wiebe, Philip John"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2024-08-15T20:15:31Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2024-08-15T20:15:31Z"]},{"key":"dc:date.issued","label":"Date","values":["1996"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["Available to the World Wide Web"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1828/20108"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Process 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."]},{"key":"dc:title","label":"Title","values":["A Tool for prototyping concurrent design specifications"]}]}],"canonical_facts":{"dc:creator":["Wiebe, Philip John"],"dc:date.accessioned":["2024-08-15T20:15:31Z"],"dc:date.available":["2024-08-15T20:15:31Z"],"dc:date.issued":["1996"],"dc:description.abstract":["Process 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:identifier.uri":["https://hdl.handle.net/1828/20108"],"dc:rights":["Available to the World Wide Web"],"dc:title":["A Tool for prototyping concurrent design specifications"],"dc:type":["Thesis"]},"updated_at":"2026-07-24T05:52:40Z"}