Hasil Pencarian - Bas Luttik

  • Menampilkan 1 - 11 hasil dari 11
Perbaiki Hasil
  1. 1
    Executable Behaviour and the π-Calculus (extended abstract)

    Executable Behaviour and the π-Calculus (extended abstract) oleh Bas Luttik, Fei Yang

    Diterbitkan 2015-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable

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

    Diterbitkan 2021-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Unique Parallel Decomposition for the Pi-calculus

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

    Diterbitkan 2016-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)

    Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) oleh Jos Baeten, Bas Luttik, Fei Yang

    Diterbitkan 2017-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Computation Tree Logic with Deadlock Detection

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

    Diterbitkan 2009-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

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

    Diterbitkan 2020-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

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

    Diterbitkan 2023-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

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

    Diterbitkan 2005-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Equivalence checking for weak bi-Kleene algebra

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

    Diterbitkan 2021-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

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

    Diterbitkan 2010-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    On the Axiomatisability of Parallel Composition

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

    Diterbitkan 2022-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: