Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency)

Eugene Asarin. Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). Bulletin of the EATCS, 83:106-120, 2004. [doi]

Abstract

Abstract is missing.