基于λ演算和CCS的一般并发程序的理论

目前CCS及进程演算的基础理论已相对稳定。而λ演算也以其简明的理论早已成为一般计算幕５撕蠊视镆逖Ы绲母髦掷┏浣萄菟愕呐γ荒芪话悴⒎⒊绦蛱峁┕舷喽猿墒斓睦砺邸１鞠钅恳訡CS理论作为并发构架，以λ演算作为顺序计算基础，将两者尽可能直接地结合起来以期得到一个简明可行的一般并发程序的理论。