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 ==
|