Search Results - Bas Luttik

  • Showing 1 - 9 results of 9
Refine Results
  1. 1

    The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable by Bas Luttik, Fei Yang

    Published in Logical Methods in Computer Science (2021-02-01)
    Get full text
    Article


  2. 2

    Unique Parallel Decomposition for the Pi-calculus by Matias David Lee, Bas Luttik

    Get full text
    Article


  3. 3

    Computation Tree Logic with Deadlock Detection by Rob van Glabbeek, Bas Luttik, Nikola Trcka

    Published in Logical Methods in Computer Science (2009-12-01)
    Get full text
    Article


  4. 4

    Rooted Divergence-Preserving Branching Bisimilarity is a Congruence by Rob van Glabbeek, Bas Luttik, Linda Spaninks

    Published in Logical Methods in Computer Science (2020-08-01)
    Get full text
    Article


  5. 5

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

    Published in Logical Methods in Computer Science (2023-03-01)
    Get full text
    Article


  6. 6

    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik

    Published in Logical Methods in Computer Science (2005-03-01)
    Get full text
    Article


  7. 7

    Equivalence checking for weak bi-Kleene algebra by Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

    Published in Logical Methods in Computer Science (2021-08-01)
    Get full text
    Article


  8. 8

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

    Get full text
    Article


  9. 9

    On the Axiomatisability of Parallel Composition by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen

    Published in Logical Methods in Computer Science (2022-01-01)
    Get full text
    Article


Search Tools: