Modeling concurrent systems specified in a temporal concurrent constraint language-I

Moreno Falaschi, Alberto Policriti, Alicia Villanueva. Modeling concurrent systems specified in a temporal concurrent constraint language-I. Electronic Notes in Theoretical Computer Science, 48:197-210, 2001. [doi]

Abstract

Abstract is missing.