1989
Report
Title

Equivalence notions for concurrent systems and refinement of actions

Author(s)
Glabbeek, R. van
Goltz, U.
Publisher
Publishing Place
Sankt Augustin
Language
English