|
Journals in DBLP
Inf. Comput. 2004, volume: 191, number: 2
- Gerald Lüttgen, Walter Vogler
Bisimulation on speed: worst-case efficiency. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:191, n:2, pp:105-144 [Journal]
- Nobuko Yoshida, Martin Berger, Kohei Honda
Strong normalisation in the pi -calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:191, n:2, pp:145-202 [Journal]
- Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir
Nested semantics over finite trees are equationally hard. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:191, n:2, pp:203-232 [Journal]
|