Leram - Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship