- Structured Communication-Centered Programming for Web Services Marco Carbone Kohei Honda Nobuko Yoshida Fri 21 November 2014
- On the Expressiveness and Decidability of Higher-order Process Calculi Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt Fri 13 December 2013
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A