Back and forth bisimulations

CONCUR '90 Theories of Concurrency: Unification and Extension - Lecture Notes in Computer Science ◽

10.1007/bfb0039058 ◽

1990 ◽

pp. 152-165 ◽

Cited By ~ 32

Author(s):

Rocco De Nicola ◽

Ugo Montanari ◽

Frits Vaandrager

Download Full-text