17 citations · 59 across the 35 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013
A Process Algebra for Games
Yong Wang
Using formal tools in computer science to describe games is an interesting problem. We give games, exactly two person games, an axiomatic foundation based on the process algebra AC…
cs.LO2013★ 8 cited
An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing
Yong Wang
We establish an axiomatization for quantum processes, which is a quantum generalization of process algebra ACP (Algebra of Communicating Processes). We use the framework of a quant…