Information and Computation, 0890-5401
Journal
Related Publications
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
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
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
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
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
ID: 540107