Attributed Point-to-Point Communication in R-CHECK
Paper in proceeding, 2024
Concurrency
model checking
Author
Yehia Abd Alrahman
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Shaun Azzopardi
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Luca Di Stefano
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Nir Piterman
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. LNCS 15220978-3-031-75106-6 (ISBN)
Crete, Greece,
Subject Categories (SSIF 2011)
Computer and Information Science
DOI
10.1007/978-3-031-75107-3_20