Puhlmann, FrankAbramowicz, WitoldMayr, Heinrich C.2019-08-122019-08-1220062-88579-179-Xhttps://dl.gi.de/handle/20.500.12116/24175This paper discusses the applicability of a process algebra, the π-calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the π-calculus from a technical viewpoint based on current work in this area. The paper summarizes shifting requirements and discusses evolving theories behind BPM from the past over state-of-the-art to the future. The concepts and theories are concluded by an illustrating example highlighting why the π-calculus is a promising foundation for future BPM.enText/Conference Paper1617-5468