Limbo，一种用于分散式系统的程式语言，在Inferno作业系统中，用它来写作应用程式。它起源于贝尔实验室，由西恩·都华（Sean Dorward），菲尔·温特伯（Phil Winterbottom）与罗勃·派克（Rob Pike）设计研发。它的并行计算模式，受到东尼·霍尔的交谈循序程式所启发。
语言特征.Limbo支持如下特征：
虚拟机.执行Limbo代码的Dis虚拟机是CISC类的VM，具有的指令包括：算数、控制流、数据移动、进程创建、同步和进程