Synchronization Detection in Multi-Process Hierarchical Synthesis

by O. Bringmann, W. Rosenstiel, and S. Reichardt
In 11th International Symposium on System Synthesis (ISSS), 1998.