@InProceedings{ECOOP94, author = "Martin Henz and Gert Smolka", title = " Objects in Higher-order Concurrent Constraint Programming with State", booktitle = "Workshop on Coordination Models and Languages for Parallelism and Distribution (in connection with ECOOP 94)", month = "5 " # jul, year = 1994, address = "Bologna, Italy", }