Generating priority rewrite systems for OSOS process languages
scientific article; zbMATH DE number 5543802
scientific article