Capturing Fair Computations on Concurrent Constraint Language

  • Authors:
  • Paola Campli;Stefano Bistarelli

  • Affiliations:
  • Dipartimento di Scienze, Universitá "G. d'Annunzio" di Chieti-Pescara, Italy;Dipartimento di Scienze, Universitá "G. d'Annunzio" di Chieti-Pescara, Italy

  • Venue:
  • ICLP '09 Proceedings of the 25th International Conference on Logic Programming
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper contains an extension of the Concurrent Constraint language (CC) in order to guarantee a fair criterion of selection among parallel agents and to restrict or remove the possible unwanted behavior of a program.