Eduardo R. B. Marques (LASIGE/FCUL

Identifiers

• name variant Eduardo R. B. Marques (LASIGE/FCUL 0.60 · backfill

Papers (1)

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

Mentions

• 1312.2705 #1 · backfill · confidence 0.70 Eduardo R. B. Marques (LASIGE/FCUL

Frequent Coauthors

• Francisco Martins (LASIGE/FCUL 1 shared papers
• Nicholas Ng (Imperial College London) 1 shared papers
• Nuno Martins (LASIGE/FCUL 1 shared papers
• Universidade of Lisbon) 1 shared papers
• Vasco T. Vasconcelos (LASIGE/FCUL 1 shared papers