17 citations · 59 across the 35 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 3 cited
An Algebra of Reversible Computation
Yong Wang
Process algebra ACP based on the interleaving semantics can not be reversed. We design a reversible version of APTC called RAPTC. It has algebraic laws of reversible choice, sequen…
cs.LO2014★ 1 cited
Security Analyses of Quantum Communication Protocols
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 probabili…
cs.LO2014★ 1 cited
Fully Abstract Game Semantics for Actors
Yong Wang
Based on the work on the algebraic theory of actors and game semantics for asynchronous calculus, we give the full abstraction proof of game semantics for actors.