Also known as CSP
formal language for concurrent systems
在计算机科学中,通信顺序进程(英語:Communicating sequential processes,縮寫為CSP),又譯為交談循序程式、交換訊息的循序程式,是一種形式語言,用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员,基于了通过通道的消息传递。CSP高度影響了Occam的設計,也影響了程式語言如Limbo、、Go、 和Clojure的core.async等。 CSP最早出現於東尼·霍爾在1978年發表的論文,但在之後又經過一系列的改善。CSP已经实际的应用在工业之中,作为一种工具去各种不同系统的并发状况,比如T9000 Transputer,还有安全电子商务系统。CSP的理论自身仍是活跃研究的主题,包括了增加它的实际可应用性的范围(比如增大可以跟踪分析的系统的规模)。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).