Nets, terms and formulas three views of concurrent processes and their relationship - Olderog, Ernst-Rüdiger 1955- (Cambridge tracts in theoretical computer science, 1991)