Bas Luttik - researchr profile

researchr

You are not signed in
Sign in
Sign up

1997

-

1997

:

Centrum Wiskunde & Informatica

A finite equational base for CCS with left merge and communication mergeLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. tocl, 10(1), 2009. [doi]

A Process-Theoretic Look at AutomataJos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg. fsen 2010: 1-33 [doi]

Branching Bisimilarity with Explicit DivergenceRob J. van Glabbeek, Bas Luttik, Nikola Trcka. FUIN, 93(4):371-392, 2009. [doi]

Finite Equational Bases for Fragments of CCS with Restriction and RelabellingLuca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg. ifipTCS 2008: 317-332 [doi]

Branching Bisimilarity with Explicit DivergenceRob J. van Glabbeek, Bas Luttik, Nikola Trcka. corr, abs/0812.3068, 2008. [doi]

The equational theory of prebisimilarity over basic CCS with divergenceLuca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik. ipl, 108(5):284-289, 2008. [doi]

runs on WebDSL