Ir al contenido

Programación Concurrente por Restricciones Temporizada y No Determinística

De Wikipedia, la enciclopedia libre

Programación Concurrente por Restricciones Temporizada y no Determinística (en Inglés, Non-deterministic Timed Concurrent Constraint) es un cálculo de procesos desarrollado por Frank Valencia como una extensión de la Programación Concurrente por Restricciones de Vijay A. Saraswat.[1]​ Un cálculo de procesos es una Especificación formal para la Computación concurrente. Ntcc extiende a la programación concurrente por restricciones para modelar tiempo discreto y escogencias no determinísticas.[2]

Programación Concurrente por Restricciones Temporizada y no Determinística, y sus extensiones, han sido usadas para modelar sistemas de interacción multimedia,[3]​ un sistema de procesamiento de sonido,[4]​ partituras musicales interactivas,[5]​ protocolos de seguridad[6]​ y sistemas biológicos.[7]​ En sistemas de interacción multimedia y partituras musicales interactivas, el principal autor de estos modelos es Mauricio toro Bermúdez.[8][9]

Referencias[editar]