关键词:act;时间系统;语法;编程语言
摘 要:The purpose of this report is to document the first complete attempt at the design of a high-level programming language for timed systems called act. We define the lexical grammar and the syntactic grammar of act, and include an example of a simple actor written in act, demonstrating some of the syntactic features of the language.