Alen Arslanagic, M

Zoekresultaten

• 2022

  Scalable Typestate Analysis for Low-Latency Environments

  Arslanagic, A., Pérez, J. A. & Subotić, P., 1-jun.-2022, Integrated Formal Methods: 17th International Conference, IFM 2022 Lugano, Switzerland, June 7–10, 2022 Proceedings. ter Beek, M. H. & Monahan, R. (redactie). Cham: Springer, blz. 322–340 9 blz. (Lecture Notes in Computer Science; vol. 13274).

  Onderzoeksoutput › Academic › peer review

  Open Access

  Bestand
  11 Downloads (Pure)
• 2021

  Minimal Session Types for the π-calculus

  Arslanagic, A., Palamariuc, A. & Pérez, J. A., 6-sep.-2021, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. Veltri, N., Benton, N. & Ghilezan, S. (redactie). New York: Association for Computing Machinery, 15 blz. 12

  Onderzoeksoutput › Academic › peer review

  Open Access

  Bestand
  1 Citaat (Scopus)

  9 Downloads (Pure)
• 2019

  Minimal Session Types

  Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (redactie). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).

  Onderzoeksoutput › Academic › peer review

  Open Access

  Bestand
  2 Citaten (Scopus)

  74 Downloads (Pure)