@inproceedings{FPV00, title = {{Modeling Concurrent Systems in a Temporal Concurrent Constraint Language}}, author = {Falaschi, M. and Policriti, A. and Villanueva, A.}, booktitle = {Proceedings of the Joint Conference on Declarative Programming (AGP 2000)}, year = 2000, address = {La Habana (Cuba)}, publisher = {University of La Habana} }