Universidade Nova de Lisboa)

Identifiers

• name variant Universidade Nova de Lisboa) 0.60 · backfill

Papers (3)

1. Unlocking Blocked Communicating Processes cs.PL · 2015 · author #8
2. Session Types as Generic Process Types cs.PL · 2014 · author #7
3. An applicative theory for FPH cs.LO · 2011 · author #4

Mentions

• 1508.03901 #8 · backfill · confidence 0.70 Universidade Nova de Lisboa)
• 1408.1459 #7 · backfill · confidence 0.70 Universidade Nova de Lisboa)
• 1101.5444 #4 · backfill · confidence 0.70 Universidade Nova de Lisboa)

Frequent Coauthors

• FCT 2 shared papers
• Adrian Francalanza (CS 1 shared papers
• Ant\'onio Ravara (CITI 1 shared papers
• Ant\'onio Ravara (NOVA LINCS 1 shared papers
• Dep de Inform\'atica 1 shared papers
• DI 1 shared papers
• DI-FCT 1 shared papers
• DM 1 shared papers
• ICT 1 shared papers
• Isabel Oitavem (CMAF 1 shared papers
• Marco Giunti (RELEASE 1 shared papers
• Nils Gesbert (Grenoble INP - Ensimag) 1 shared papers
• Reinhard Kahle (CENTRIA 1 shared papers
• Simon J. Gay (School of Computing Science 1 shared papers
• Universidade da Beira Interior & NOVA LINCS 1 shared papers
• Universidade de Lisboa 1 shared papers
• University of Glasgow) 1 shared papers
• University of Malta) 1 shared papers