Formale Modellierung asynchroner Systeme. - Markus Kohn (Bertz, 1997)

Formal Asynchronous Systems Modelling. - Markus Kohn; Hartmut Schmeck (Fundam. Informaticae, 2000)