Matthieu Dien

Identifiers

No identifiers captured yet.

Papers (2)

1. The Combinatorics of Barrier Synchronization cs.PL · 2019 · author #2
2. Beyond series-parallel concurrent systems: the case of arch processes cs.DM · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Antoine Genitrini 2 shared papers
• Olivier Bodini 2 shared papers
• Alfredo Viola 1 shared papers
• Fr\'ed\'eric Peschanski 1 shared papers