Information and Computation, 0890-5401

Journal

View graph of relations

Related Publications
  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 journalArticleAcademicpeer-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 journalArticleAcademicpeer-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 journalArticleAcademic

  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 journalArticleAcademicpeer-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 journalArticleAcademicpeer-review

View all (9) »

ID: 540107