Showing 1 - 2 results of 2 for search 'Jos C. M. Baeten', query time: 0.02s Refine Results
  1. 1
    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics by Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

    Published 2023-03-01
    Get full text
    Article
  2. 2
    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) by Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

    Published 2010-11-01
    Get full text
    Article

Search Tools: