Tim Wahls, Gary T. Leavens. Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. In Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA. pages 567-575, ACM, 2001. [doi]
Abstract is missing.