4 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-…