Metadata
Author: WikiMatrix
Data
English[en]
Some of these logics, such as linear temporal logic and computation tree logic, allow assertions to be made about the sequences of states that a concurrent system can pass through.
Spanish[es]
Algunas lógicas como la lógica temporal lineal y la lógica de árboles computacionales permiten decidir por cuales estados puede pasar el sistema concurrente.