17 citations · 59 across the 35 of their papers we have counts for
6 papers · 1 filter
Verification of Distributed Quantum 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 probabil…
Truly Concurrent Process Algebra with Localities
Yong Wang
The well-known process algebras, such as CCS, ACP and -calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent proce…
Truly Concurrent Calculi with Reversibility, Probabilism and Guards
Yong Wang
The well-known process algebras, such as CCS, ACP and -calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent proce…
Probabilistic Process Algebra for True Concurrency
Yong Wang
The well-known process algebras, such as CCS, ACP and -calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent proce…
Actors -- A Process Algebra Based Approach
Yong Wang
We model actors based on truly concurrent process algebra, and capture the actor model in the following characteristics: (1) Concurrency: all actors execute concurrently; (2) Async…
Secure Process Algebra
Yong Wang
Based on our previous work on truly concurrent process algebras APTC, we use it to verify the security protocols. This work (called Secure APTC, abbreviated SAPTC) have the followi…