no code implementations • 18 Jul 2022 • Pierre Talbot, Frédéric Pinel, Pascal Bouvry
To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming.