17 citations · 59 across the 35 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.SE2013★ 3 cited
Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography
Yong Wang
Web Service Composition creates new composite Web Services from the collection of existing ones to be composed further and embodies the added values and potential usages of Web Ser…
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…