Choreographic Programming: From Theory To Practice
Website
Website not available yet
Generating a standard library of core distributed algorithms with formal proofs
ProjectID
ChoreographicProgramming
Acronym
ChoreographicProgramming
Additional Info
- Resources
- Source code
- https://github.com/lovrosdu/klor
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Securing PLCs via embedded protocol adapters
Open hardware protocol adapters for industrial automation
Measuring performance of cloud-based platform for interactive TV services delivery
In the past few years, interactive services based on broadband connection reached different kind of devices, consumed by end users...
Data Cage for Personal Data
Our goal in this project is to allow other organizations (partners and service providers), based on the user’s consent, to...
Spritely (and OCapN)
Enable secure P2P applications with Object Capabilities
