1. On the relative expressiveness of higher-order session processes

   Kouzapas, D., Perez, J. A. & Yoshida, N., Oct-2019, In : Information and Computation. 268, 54 p., 104433.

   Research output: Contribution to journal › Article › Academic › peer-review

2. On the expressiveness and decidability of higher-order process calculi

   Lanese, I., Perez, J. A., Sangiorgi, D. & Schmitt, A., Feb-2011, In : Information and Computation. 209, 2, p. 198-226 29 p.

   Research output: Contribution to journal › Article › Academic › peer-review

3. Linear logical relations and observational equivalences for session-based concurrency

   Perez, J. A., Caires, L., Pfenning, F. & Toninho, B., Dec-2014, In : Information and Computation. 239, p. 254-302 49 p.

   Research output: Contribution to journal › Article › Academic › peer-review

4. Sharp lower bounds on the extractable randomness from non-uniform sources

   Škorić, B., Obi, C., Verbitskiy, E. & Schoenmakers, B., 2011, In : Information and Computation. 209, 8, p. 1184-1196 13 p.

   Research output: Contribution to journal › Article › Academic

5. Logics of communication and change

   van Benthem, J., van Eijck, J. & Kooi, B., Nov-2006, In : Information and Computation. 204, 11, p. 1620-1662 43 p.

   Research output: Contribution to journal › Article › Academic › peer-review

View all (10) »