Search Results - Bas Luttik

  • Showing 1 - 7 results of 7
Refine Results
List   Grid  
  1. 1

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

    Published 2021-02-01
    Get full text
    Artigo
    Save to List
    Saved in:
  2. 2

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

    Published 2009-12-01
    Get full text
    Artigo
    Save to List
    Saved in:
  3. 3

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

    Published 2020-08-01
    Get full text
    Artigo
    Save to List
    Saved in:
  4. 4

    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
    Artigo
    Save to List
    Saved in:
  5. 5

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

    Published 2005-03-01
    Get full text
    Artigo
    Save to List
    Saved in:
  6. 6

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

    Published 2021-08-01
    Get full text
    Artigo
    Save to List
    Saved in:
  7. 7

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

    Published 2022-01-01
    Get full text
    Artigo
    Save to List
    Saved in:

Search Tools: