Es uno de los conceptos clave en modelos de programación concurrente, programación distribuida y programación orientada a objetos.