一个面向对象的实时分布式语言的指称语义

摘要

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次上给出了语句、对象和程序的清晰描述，提出了实时状态的概念。借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性。