Search Results - Baeten, Jos C.M.

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)

    Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract) by Baeten, Jos C. M., Luttik, Bas

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

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

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Reactive Turing machines

    Reactive Turing machines by Baeten, Jos C.M., Luttik, Bas, van Tilburg, Paul

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Expressiveness modulo bisimilarity of regular expressions with parallel composition

    Expressiveness modulo bisimilarity of regular expressions with parallel composition by BAETEN, JOS C. M., LUTTIK, BAS, MULLER, TIM, VAN TILBURG, PAUL

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Unguardedness mostly means many solutions

    Unguardedness mostly means many solutions by Baeten, Jos C.M., Luttik, Bas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Preface

    Preface by Baeten, Jos C.M., Phillips, Iain C.C.

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A ground-complete axiomatisation of finite-state processes in a generic process algebra

    A ground-complete axiomatisation of finite-state processes in a generic process algebra by BAETEN, JOS C. M., BRAVETTI, MARIO

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Preface

    Preface by Baeten, Jos C.M., Lenstra, Jan Karel, Woeginger, Gerhard J.

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    PII: S0304-3975(07)00131-4

    PII: S0304-3975(07)00131-4 by Baeten, Jos C.M., Lenstra, Jan Karel, Woeginger, Gerhard J.

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    A Generic Process Algebra

    A Generic Process Algebra by Baeten, Jos C.M., Bravetti, Mario

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    An algebra for process creation

    An algebra for process creation by BAETEN, J. C. M, VAANDRAGER, F. W

    Published in Acta informatica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: