17 citations · 59 across the 35 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 17 cited
Algebraic Laws for True Concurrency
Yong Wang
We find the algebraic laws for true concurrency. Eventually, we establish a whole axiomatization for true concurrency called APTC (Algebra for Parallelism in True Concurrency). The…
cs.LO2016
Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems
Yong Wang
We have unified quantum and classical computing in open quantum systems called qACP which is a quantum generalization of process algebra ACP. But, an axiomatization for quantum and…
cs.LO2016★ 4 cited
Weakly True Concurrency and Its Logic
Yong Wang
We firstly find the existence of silent event in true concurrency (named weakly true concurrency) by defining weakly true concurrent behaviors and weakly true concurrent logics…