Home

Jump to bottom Edit New page

clarus edited this page Sep 18, 2014 · 6 revisions

Concurrency in Coq

Our goal is to use Coq to express highly concurrent programs in a safe manner. We will focus on two main examples: web servers and client applications with a GUI.