17 citations · 59 across the 35 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2026
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…