1. 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

2. 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

3. 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

4. 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

5. Strictness analysis via abstract interpretation for recursively defined types

   Renardel de Lavalette, G. R., Aug-1992, In : Information and Computation. 99, 2, p. 154-177 24 p.

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

View all (9) »