A True Concurrent Process Calculus and Its Conflict Bisimulation.

Zining Cao

Browse the full SNPD paper archive.