Glabbeek, R.J. vanR.J. vanGlabbeekGoltz, U.U.Goltz2022-03-072022-03-071990https://publica.fraunhofer.de/handle/publica/286195en004005006A deadlock-sensitive congruence for action refinementreport