CITI - Centro de Informática e Tecnologias da Informação

Research Output

Filter
Review article
2018
2014

Linear logical relations and observational equivalences for session-based concurrency

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

Research output: Contribution to journalReview article