17 citations · 59 across the 35 of their papers we have counts for
5 papers · 1 filter
Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing
Yong Wang
Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, to calculus, APPTC to probabil…
Structured Parallel Programming
Yong Wang
Based on our previous work on algebraic laws for true concurrency, we design a structured parallel programming language for true concurrency called PPL. Different to most programmi…
Truly Concurrent Process Algebra Is Reversible
Yong Wang
Based on our previous process algebra for concurrency APTC, we prove that it is reversible with a little modifications. The reversible algebra has four parts: Basic Algebra for Rev…
Reversible Truly Concurrent Process Algebra
Yong Wang
We design a reversible version of truly concurrent process algebra CTC which is called RCTC. It has good properties modulo several kinds of strongly forward-reverse truly concurren…
Communicating Concurrent Processes
Yong Wang
Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously…