newbie question: locks

[Luis QUESADA]

albertod at puj.edu.co wrote:

> Hello all,
>
> A couple of questions:
>
> I am new to the mozart language and I would like to know if mozart has 
> some kind
> of lock that ensures the atomical execution of several statements.


For this bit, please consider reading chapter 8 (Shared-State 
Concurrency) of:

http://www.info.ucl.ac.be/people/PVR/booksingle.pdf

>
> What is exactly a non monotonical propagator? Can you give me some 
> examples?


Christian Schulte has prepared a nice set of slides for his course on 
Constraint Programming . With respect to your question about 
monotonicity in propagators, I recommend you to have a look at slide 49 in:

http://www.imit.kth.se/courses/2G1515/notes/2G1515-L04.pdf


Luis