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

Research Output 1998 2018

Filter
Review article
2018
Data reduction
social network
Visualization
Data visualization
Electric network analysis
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

Strong Normalization
Confluence
Concurrency
Linear Logic
Equivalence