Coalgebraic Weak Bisimulation for Action-Type Systems

Ana Sokolova, Erik P. de Vink, Harald Woracek. Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Cuza Univ., 19:93-144, 2009. [doi]

Abstract

Abstract is missing.