Relational concurrent refinement. III: Traces, partial relations and automata
scientific article; zbMATH DE number 6609548
scientific article