死锁

死锁在并发计算中，死锁是指某些实体组中的任何成员都无法继续执行的任何情况，因为每个实体都在等待另一个成员（包括它自己）采取行动，例如发送消息，或者...

会话类型在类型理论中，会话类型被用来确保并发程序的正确性。它们保证并发程序之间发送和接收的消息是按照预期的顺序和预期的类型。会话类型系统已经适用于...