Yong Wang - RankMe

34 papers Journal 34

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Computation and Concurrency. CoRR Yong Wang
2023	J	`jnl`	Process Algebra with Imperfect Actions. CoRR Yong Wang
2023	J	`jnl`	The Nature of Concurrency. CoRR Yong Wang
2021	J	`jnl`	Actors - A Process Algebra Based Approach. CoRR Yong Wang
2021	J	`jnl`	Probabilistic Process Algebra for True Concurrency. CoRR Yong Wang
2021	J	`jnl`	Secure Process Algebra. CoRR Yong Wang
2021	J	`jnl`	Truly Concurrent Calculi with Reversibility, Probabilism and Guards. CoRR Yong Wang
2021	J	`jnl`	Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards. CoRR Yong Wang
2021	J	`jnl`	Truly Concurrent Process Algebra with Localities. CoRR Yong Wang
2021	J	`jnl`	Verification of Distributed Quantum Protocols. CoRR Yong Wang
2020	J	`jnl`	On the Parallel Composition for True Concurrency. CoRR Yong Wang
2020	J	`jnl`	Verification of Patterns. CoRR Yong Wang
2019	J	`jnl`	Algebra of Concurrent Games. CoRR Yong Wang
2019	J	`jnl`	Operational Semantics of Games. CoRR Yong Wang
2019	J	`jnl`	Truly Concurrent Bisimilarities are Game Equivalent. CoRR Yong Wang
2018	J	`jnl`	Communicating Concurrent Processes. CoRR Yong Wang
2018	J	`jnl`	Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography. CoRR Yong Wang
2018	J	`jnl`	Reversible Truly Concurrent Process Algebra. CoRR Yong Wang
2018	J	`jnl`	Structured Parallel Programming Language Based on True Concurrency. CoRR Yong Wang
2018	J	`jnl`	Truly Concurrent Process Algebra Is Reversible. CoRR Yong Wang
2018	J	`jnl`	Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing. CoRR Yong Wang
2017	J	`jnl`	A Calculus of Truly Concurrent Mobile Processes. CoRR Yong Wang
2017	J	`jnl`	An Algebra of Actors Based on True Concurrency. CoRR Yong Wang
2017	J	`jnl`	Truly Concurrent Process Algebra with Timing. CoRR Yong Wang
2016	J	`jnl`	A Formal Model of QoS-Aware Web Service Orchestration Engine. IEEE Trans. Netw. Serv. Manag. Yong Wang
2016	J	`jnl`	Algebraic Laws for True Concurrency. CoRR Yong Wang
2016	J	`jnl`	Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems. CoRR Yong Wang
2016	J	`jnl`	Weakly True Concurrency and Its Logic. CoRR Yong Wang
2015	J	`jnl`	An Algebraic Approach for Approximity. CoRR Yong Wang
2014	J	`jnl`	An Algebra of Reversible Computation. CoRR Yong Wang
2014	J	`jnl`	Security Analyses of Quantum Communication Protocols. CoRR Yong Wang
2013	J	`jnl`	A Formal Model of QoS-Aware Web Service Orchestration Engine. CoRR Yong Wang
2013	J	`jnl`	An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing. CoRR Yong Wang
2013	J	`jnl`	Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography. CoRR Yong Wang