Jos Baeten

Identifiers

• name variant Jos Baeten 0.60 · backfill

Papers (2)

1. Sequential Composition in the Presence of Intermediate Termination cs.LO · 2017 · author #1
2. Design of asynchronous supervisors cs.LO · 2009 · author #3

Mentions

• 0910.0868 #3 · backfill · confidence 0.70 Jos Baeten

Frequent Coauthors

• Bas Luttik 1 shared papers
• Fei Yang 1 shared papers
• Harsh Beohar 1 shared papers
• Pieter Cuijpers 1 shared papers