Automated Verification of Parametric Channel-Based Process Communication

Georgian-Vlad Saioc, Julien Lange, Anders Møller

Research output: Contribution to journalArticlepeer-review

9 Downloads (Pure)
Original languageEnglish
Article number344
Pages (from-to)2070-2096
Number of pages27
JournalProceedings of the ACM on Programming Languages
Volume8
Issue numberOOPSLA2
DOIs
Publication statusPublished - 8 Oct 2024

Cite this