Author Search Results :: UTM Library Massive Scholar Tracking

1

$The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable$

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

Published 2021-02-01

Get full text

Article
2

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

Published 2009-12-01

Get full text

Article
3

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

Published 2020-08-01

Get full text

Article
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

Article
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

Article
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

Article
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

Article