bookmark
Process Algebras: Whats the point? | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2585
Описание
тэги
- concurrency
- erlang
- formal-methods
- functional-programming
- jocaml
- parallelization
- process-algebras
- programming-languages
- scala
- topos-theory
