Photo from archive.org
One of the most fascinating characteristics is the modularity of ACP (Algebra of Communicating Processes), that is, ACP can be extended easily. qACP also inherents the modularity characteristics of ACP.… Click to show full abstract
One of the most fascinating characteristics is the modularity of ACP (Algebra of Communicating Processes), that is, ACP can be extended easily. qACP also inherents the modularity characteristics of ACP. By introducing new operators or new constants, qACP can have more properties. In this paper, we extend the quantum process algebra qACP with priorities support in an elegant way. And we obtain the soundness and completeness of the extension.
Keywords:
algebra priorities;
quantum process;
process algebra
Journal Title: International Journal of Theoretical Physics
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: International Journal of Theoretical Physics
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!