Service oriented computing from a process algebraic perspective
scientific article; zbMATH DE number 5083808