Process logic: Expressiveness, decidability, completeness
scientific article; zbMATH DE number 3777459