Download Nets, Terms And Formulas: Three Views Of Concurrent Processes And Their Relationship