17 citations · 59 across the 35 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
On the Parallel Composition for True Concurrency
Yong Wang
For insight into the parallel composition for true concurrency, we recall the axiomatization of the parallel composition modulo truly concurrent behavioral equivalences as the side…
cs.LO2020
Verification of Patterns
Yong Wang
The software patterns provide building blocks to the design and implementation of a software system, and try to make the software engineering to progress from experience to science…