Bas Luttik (Eindhoven University of Technology)

Identifiers

• name variant Bas Luttik (Eindhoven University of Technology) 0.60 · backfill

Papers (4)

1. Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) cs.LO · 2017 · author #3
2. Executable Behaviour and the \pi-Calculus (extended abstract) cs.LO · 2015 · author #1
3. Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics cs.PL · 2013 · author #2
4. Proceedings 18th International Workshop on Expressiveness in Concurrency cs.LO · 2011 · author #1

Mentions

• 1508.04850 #1 · backfill · confidence 0.70 Bas Luttik (Eindhoven University of Technology)
• 1307.6903 #2 · backfill · confidence 0.70 Bas Luttik (Eindhoven University of Technology)
• 1108.4077 #1 · backfill · confidence 0.70 Bas Luttik (Eindhoven University of Technology)

Frequent Coauthors

• Fei Yang (Eindhoven University of Technology) 2 shared papers
• Frank Valencia (CNRS 1 shared papers
• Johannes Borgstr\"om (Uppsala University) 1 shared papers
• Jos Baeten (CWI 1 shared papers
• LIX \'Ecole Polytechnique) 1 shared papers
• University of Amsterdam) 1 shared papers