29 citations · 40 across the 13 of their papers we have counts for
1 paper · 1 filter
James Ferlez, Rance Cleaveland, Steve Marcus
In this work, we develop a generalization of Hennessy-Milner Logic (HML) for Generalized Synchronization Trees (GSTs) that we call Generalized Hennessy Milner Logic (GHML). Importa…