The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names ...
['Jesper Bengtson', 'Magnus Johansson', 'Joachim Parrow', 'B. Victor']
Psi-calculi: a framework for mobile processes with nominal data and logic