18] Rob Van Glabeek and Ursula Goltz. Equivalence notions for concurrent systems and refinement of actions (1987)

by Linear logic
Venue:In Proceedings of MFCS, Springer Lecture Notes in CS, vol.379