The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
Enter an email to receive alerts for parallel-and-distributed-computing "Multiple" positions