Universidade of Lisbon)

Identifiers

• name variant Universidade of Lisbon) 0.60 · backfill

Papers (1)

1. Towards deductive verification of MPI programs against session types cs.DC · 2013 · author #2

Mentions

• 1312.2705 #2 · backfill · confidence 0.70 Universidade of Lisbon)

Frequent Coauthors

• Eduardo R. B. Marques (LASIGE/FCUL 1 shared papers
• Francisco Martins (LASIGE/FCUL 1 shared papers
• Nicholas Ng (Imperial College London) 1 shared papers
• Nuno Martins (LASIGE/FCUL 1 shared papers
• Vasco T. Vasconcelos (LASIGE/FCUL 1 shared papers