在计算机科学中，进程演算（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算...

在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算（英语：Calculus of communicating systems）的基础上设计而成。...

在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。C...

在计算中，通道（channel）是通过消息传递进行进程间通信和同步的编程模型。作为一个流，消息可以经由通道发送，另一个进程或线程能够接收它已经引用的经由通道发送的消息。通道的不同实现，可以没有缓冲区也可以有缓冲区，消息传递相应的可以是同步的也可以是异步的。 通道是并发的进程演算方式的基础，并起源于通信顺序进程...

theory）框架和并发系统的实际实现（英语：Actor model implementation）基础。演员模型和其他类似工作的关系讨论可见于演员模型和进程演算（英语：actor model and process calculi）。 演员模型推崇的哲学是“一切皆是演员”，这与面向对象编程的“一切皆是对象”类似。...

next，縮寫：SJN），也称为最短进程优先，是一个调度策略，从等待运行的进程中选择执行时间最短的那个来运行。SJN是一个non-preemptive算法。最短剩余时间是用来控制SJN的变量。 最短任务优先有一些优点，比如简单，并且这种策略减小了所有进程的平均运行时间。 然而，它的缺点是，如果不断地有新的短期进程...

于函数或算子上——求值策略定义何时和以何种次序求值给函数的实际参数，什么时候把它们代换入函数，和代换以何种形式发生。经常使用用来研究函数的形式系统λ演算来建模求值策略，这里它们通常叫做归约策略。求值策略分为两大基本类，严格的和非严格的，基于如何处理给函数的实际参数。一个语言可以组合多种求值策略；例如...

动态数据类型與類型系統 有編譯時期的类型檢查系統支持。 快速失败 在執行時期發生的錯誤，會由錯誤位置送出訊息，發生錯誤的进程立刻停止执行。藉由进程通讯机制，可以自動傳遞錯誤、捕捉錯誤，使其他进程能夠幫助處理錯誤。 代码熱更新 由於Erlang是函數語言，可以撰寫特定的程序结构，製作即時更換新版函數的機制。...

银行家算法（英語：Banker's Algorithm）是一个避免死锁的著名算法，是由荷蘭計算機科學家艾兹赫尔·戴克斯特拉在1965年为T.H.E作業系統设计的一种避免死結產生的演算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。 在银行中，客户申请贷款的数量是有限的，每个客户在第一次申请贷款时要声明完成该项目所...

幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群（英语：Trace monoid）和歷史幺半群（英语：History monoid）則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題（英语：Star height problem）。 幺半群是一個帶有二元運算...

先进先出算法（英語：first in, first out，简称 FIFO）是一種計算機科學的排程演算法。它描述了一個佇列所使用的先到先得服務方式：先進入佇列的工作將先被完成，之後進來的則必須稍候。 一個C++語言的範例 #include <iostream> #include <stdexcept>...