Title | Citations | PageRank | Year |
---|---|---|---|
Deciding branching bisimilarity of normed context-free processes is in &Sgr;2p | 2 | 0.37 | 1995 |
On deciding readiness and failure equivalences for processes | 9 | 1.76 | 1995 |
On deciding trace equivalences for processes | 2 | 0.43 | 1993 |