Fifth IFIP International Conference on Theoretical Computer ...
Preview
[AFGI04] Luca Aceto, Wan Fokkink, Rob van Glabbeek, and Anna Ing ́olfsd ́ottir. Nested semantics over finite tree are equationally hard. Information and Computation, 191(2):203–232, 2004. [AFI07] Luca Aceto, Wan Fokkink, and Anna Ing ...