By Jacopo Mauro Università di Bologna 10 Maggio 2012 Abstract e investigate the benefits that emerge when the fields of constraint programming and concurrency meet. On one hand, constraints can be use in concurrency theory to increase the conciseness and…

Read more →