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

Research Output 1998 2018

Filter
Conference article
2013
3 Citations (Scopus)

The type discipline of behavioral separation

Caires, L. & Seco, J. C., 1 Jan 2013, In : Acm Sigplan Notices. 48, 1, p. 275-286 12 p.

Research output: Contribution to journalConference article

Data structures
Synchronization
2012

Preface

Carreira, P. & Amaral, V., 1 Dec 2012, In : CEUR Workshop Proceedings. 923

Research output: Contribution to journalConference article