Hugo Andrés López

Hugo Andrés López

Adjunkt


  1. 2015
  2. Udgivet

    Protocol-based verification of message-passing parallel programs

    López, Hugo A. , Marques, E. R. B., Martins, F., Ng, N., Santos, C., Vasconcelos, V. T. & Yoshida, N., 23 okt. 2015, OOPSLA 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications. Eugster, P. & Aldrich, J. (red.). Association for Computing Machinery, Inc., s. 280-298 19 s. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, Bind 25-30-Oct-2015).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Declarative interpretations of session-based concurrency

    Cano, M., Rueda, C., López, Hugo A. & Pérez, J. A., 14 jul. 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc., s. 67-78 12 s. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 234123475