17 citations · 59 across the 35 of their papers we have counts for
4 papers · 1 filter
Truly Concurrent Process Algebra with Timing
Yong Wang
We extend truly concurrent process algebra APTC with timing related properties. Just like ACP with timing, APTC with timing also has four parts: discrete relative timing, discrete…
An Algebra of Actors Based on True Concurrency
Yong Wang
An algebra of actors fully captures the properties of actors based on asynchronous -calculus, but, it is based on the interleaving bisimulation semantics. We adjus…
A Calculus of Truly Concurrent Mobile Processes
Yong Wang
We make a mixture of Milner's -calculus and our previous work on truly concurrent process algebra, which is called . We introduce syntax and semantics of , its p…
A Calculus for True Concurrency
Yong Wang
We design a calculus for true concurrency called CTC, including its syntax and operational semantics. CTC has good properties modulo several kinds of strongly truly concurrent bisi…