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

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

1. «Logic Programming: 19th International Conference 2003». Consultado el 8 de marzo de 2017. 
2. «Programación Concurrente por Restricciones Temporizada y no Determinística». Consultado el 8 de marzo de 2017. 
3. «Un modelo concurrente y por restricciones, basado en el oráculo de factores, para improvisación musical». Consultado el 8 de marzo de 2017. 
4. «Un cálculo concurrente por restricciones, temporizado, como un marco para procesamiento de sonido». Consultado el 8 de marzo de 2017. 
5. «Semántica formal para un sistema de partituras musicales interactivas: Un marco para diseñar, especificar propiedades y ejecutar escenarios interactivos». Consultado el 8 de marzo de 2017. 
6. «Un marco declarativo para la seguridad: Programación por restricciones segura». Consultado el 8 de marzo de 2017. 
7. «Usando una extensión estocástica de la Programación Concurrente por Restricciones Temporizada y no Determinística para modelar sistemas biológicos». Consultado el 8 de marzo de 2017. 
8. «DBLP de Mauricio Toro». Consultado el 8 de marzo de 2017. 
9. «Google Scholar de Mauricio Toro». Consultado el 8 de marzo de 2017. 

•   Datos: Q30903064