Bas Luttik

Identifiers

• name variant Bas Luttik 0.60 · backfill

Papers (10)

1. Sequential Composition in the Presence of Intermediate Termination cs.LO · 2017 · author #2
2. Reactive Turing Machines with Infinite Alphabets cs.LO · 2016 · author #1
3. On the Executability of Interactive Computation cs.LO · 2016 · author #1
4. Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics cs.LO · 2012 · author #1
5. Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics cs.LO · 2012 · author #1
6. Reactive Turing Machines cs.LO · 2011 · author #2
7. Computation Tree Logic with Deadlock Detection cs.LO · 2009 · author #2
8. Branching Bisimilarity with Explicit Divergence cs.LO · 2008 · author #2
9. A Finite Equational Base for CCS with Left Merge and Communication Merge cs.LO · 2006 · author #4
10. Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy&#39;s Merge cs.LO · 2005 · author #4

Mentions

• 1208.2440 #1 · backfill · confidence 0.70 Bas Luttik
• 1205.2117 #1 · backfill · confidence 0.70 Bas Luttik
• 1104.1738 #2 · backfill · confidence 0.70 Bas Luttik
• 0912.2109 #2 · backfill · confidence 0.70 Bas Luttik
• 0812.3068 #2 · backfill · confidence 0.70 Bas Luttik

Frequent Coauthors

• Fei Yang 3 shared papers
• Anna Ingolfsdottir 2 shared papers
• Luca Aceto 2 shared papers
• Nikola Trcka 2 shared papers
• Rob van Glabbeek 2 shared papers
• Wan Fokkink 2 shared papers
• Jos Baeten 1 shared papers
• Jos C. M. Baeten 1 shared papers
• Michel A. Reniers 1 shared papers
• Paul van Tilburg 1 shared papers