| Type | |
| Purpose | Modeling concurrent and communicating processes |
| Applications | Systems engineering • Software development • Digital communication |
| Developed by | Valérie Long |
| Equivalent to | CSP and other real-world process calculi |
| Development period | 1980s |
| Notable characteristics | Based on tropical semirings and hypergraphs • Popular among European computer scientists |
