Formal Aspects of Computing, 0934-5043

Journal

Related Publications
  1. Correctness and concurrent complexity of the Black-White Bakery Algorithm

    Hesselink, W. H., Apr-2016, In : Formal Aspects of Computing. 28, 2, p. 325-341 17 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  2. Tournaments for mutual exclusion: verification and concurrent complexity

    Hesselink, W. H., Sep-2017, In : Formal Aspects of Computing. 29, 5, p. 833-852 19 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  3. Self-Adaptation and Secure Information Flow in Multiparty Communications

    Castellani, I., Dezani-Ciancaglini, M. & Parra, J. A., Jul-2016, In : Formal Aspects of Computing. 28, 4, p. 669-696

    Research output: Contribution to journalArticleAcademicpeer-review

  4. Event-based run-time adaptation in communication-centric systems

    Di Giusto, C. & Perez Parra, J. A., Jul-2016, In : Formal Aspects of Computing. 28, 4, p. 531-566

    Research output: Contribution to journalArticleAcademicpeer-review

  5. Dynamic role authorization in multiparty conversations

    Ghilezan, S., Jakšić, S., Pantovic, J., Perez, J. A. & Vieira, H. T., Jul-2016, In : Formal Aspects of Computing. 28, 4, p. 643-667

    Research output: Contribution to journalArticleAcademicpeer-review

View all (18) »

ID: 783153