Deterministic Systems of Sequential Processes: Theory and Tools.

Younes Souissi, Nicolas Beldiceanu

Browse the full CONCUR paper archive.