On the implementation of concurrent calculi in net calculi: two case studies
scientific article; zbMATH DE number 985764
scientific article