Automated Verification of Parametric Channel-Based Process Communication

Research output: Contribution to journal › Article › peer-review

19 Downloads (Pure)

Original language	English
Article number	344
Pages (from-to)	2070-2096
Number of pages	27
Journal	Proceedings of the ACM on Programming Languages
Volume	8
Issue number	OOPSLA2
DOIs	https://doi.org/10.1145/3689784
Publication status	Published - 8 Oct 2024

Access to Document

@article{5451b7be6c054232b23ea7badd8003f5,

title = "Automated Verification of Parametric Channel-Based Process Communication",

author = "Georgian-Vlad Saioc and Julien Lange and Anders M{\o}ller",

year = "2024",

month = oct,

day = "8",

doi = "10.1145/3689784",

language = "English",

volume = "8",

pages = "2070--2096",

journal = "Proceedings of the ACM on Programming Languages",

issn = "2475-1421",

publisher = "Association for Computing Machinery (ACM)",

number = "OOPSLA2",

}

TY - JOUR

T1 - Automated Verification of Parametric Channel-Based Process Communication

AU - Saioc, Georgian-Vlad

AU - Lange, Julien

AU - Møller, Anders

PY - 2024/10/8

Y1 - 2024/10/8

U2 - 10.1145/3689784

DO - 10.1145/3689784

M3 - Article

SN - 2475-1421

VL - 8

SP - 2070

EP - 2096

JO - Proceedings of the ACM on Programming Languages

JF - Proceedings of the ACM on Programming Languages

IS - OOPSLA2

M1 - 344

ER -