@inproceedings{ZaffanellaLG94, author = {E. Zaffanella and G. Levi and R. Giacobazzi}, title = {Abstracting {S}ynchronization in {C}oncurrent {C}onstraint {P}rogramming}, booktitle = "Proc. Sixth Int'l Symp. on Programming Language Implementation and Logic Programming", series = "Lecture Notes in Computer Science", volume = 844, pages = "57-72", editor = "M. Hermenegildo and J. Penjam", publisher = " Springer-Verlag, Berlin", year = 1994, }