Two case studies of semantics execution in Maude: CCS and LOTOS
scientific article; zbMATH DE number 5007761
scientific article