Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Band 23)