Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Better late than never: a fully-abstract semantics for classical processes. | 0 | 0.34 | 2019 |
| Deciding Weak Weighted Bisimulation. | 0 | 0.34 | 2017 |
| Loose Graph Simulations. | 0 | 0.34 | 2017 |
| Structural operational semantics for non-deterministic processes with quantitative aspects. | 5 | 0.41 | 2014 |