Opendata, web and dolomites

H2020 projects about "concurrency"

The page lists 12 projects related to the topic "concurrency".

# achronym  title  year 
1 DataLocAbstractions Advanced Programming Environments for Exascale Data-Centric Computing 2015
2 CoVeCe Coinduction for Verification and Certification 2016
3 PARTAKE cooPerative depArtuRes for a compeTitive ATM networK sErvice. 2016
4 ProFoundNet Probabilistic Foundations for Networks 2016
5 RustBelt Logical Foundations for the Future of Safe Systems Programming 2016
6 PACT Proof-theoretical Approaches to Concurrency Theory 2016
7 DAMA Extreme-Scale Data Management 2018
8 RCADE Reversible causally-consistent debugging of concurrent programs 2018
9 VeSPA Verification and Specification through Progress Abstractions 2018
10 CloudButton Serverless Data Analytics Platform 2019
11 5G-HEART 5G HEalth AquacultuRe and Transport validation trials 2019
12 VAPLCS Verification-Aware Programming Language Concurrency Semantics 2020