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

1. Introduction 2. Petri nets 3. Process terms 4. Logical formulas 5. Process construction 6. Extensions References.