Bisimulación

Relación binaria entre estados de sistemas basados en estados (modelos de Kripke, sistemas de transición etiquetados, procesos) que empareja su comportamiento observable paso a paso: cuando estados relacionados realizan una transición etiquetada a, el estado relacionado puede corresponder con una transición a hacia estados relacionados, y viceversa; la bisimilitud significa que existe tal relación