Open AccessBisimilarity in Concurrent Constraint Programming
Author(s) -
Andrés Aristizábal
Publication year - 2010
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - concurrent constraint logic programming , computer science , programming language , constraint programming , constraint (computer aided design) , constraint satisfaction , concurrent computing , theoretical computer science , inductive programming , programming paradigm , mathematical optimization , functional logic programming , mathematics , artificial intelligence , stochastic programming , geometry , probabilistic logic