Theory
关注
分享
扫一扫
萧乡月夜
这个作者很懒，什么都没留下…
展开
-
(CSP)Communicating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical t转载 2016-12-04 17:04:24 · 2803 阅读 · 0 评论 -
Ada (programming language)
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has built-in langua转载 2016-12-04 17:10:39 · 1825 阅读 · 0 评论