Choreographic programming: Difference between revisions

Content deleted Content added
Languages: Added Kalas and a link to proof assistants.
Added the related paradigm of multitier prog.
Line 89:
* [[Service choreography]]
*[[Structured concurrency]]
*[[Multitier programming]]
 
== References ==