David-Henriet, X. (2015). Discrete Event Systems with Standard and Partial Synchronizations. PhD Thesis, Technische Universität, Berlin.