1 citations · 2 across the 7 of their papers we have counts for
19 papers · 1 filter
Finitary Truly Concurrent Bisimulations
Yong Wang
To develop a full abstract denotational model of a process language based on prebisimulation preorder, its behavioural semantics has two problems: (1) Two processes related by a st…
Theories of Truly Concurrent Processes
Yong Wang
A process is able to execute a set of actions with a predefined manner, while a truly concurrent process executes this set of actions with a manner with the flavour of true concurr…
Process Algebra with Imperfect Actions
Yong Wang
We discuss the deal of imperfectness of atomic actions in reality with the background of process algebras. And we show the applications of the imperfect actions in verification of…
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…