Congruent Weak Bisimulation with Dense Real-Time

Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang. Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett., 46(2):55-61, 1993.

Abstract

Abstract is missing.