Davidson, Susan BWolfe, VictorLee, Insup2023-05-222023-05-2219912007-11-17https://repository.upenn.edu/handle/20.500.14332/6392This paper presents language constructs for the expression of timing and concurrency requirements in distributed real-time programs. The programming paradigm combines an object-based paradigm for the specification of shared resources, a distributed transaction-based paradigm for the specification of application processes, and explicit timing constraint expression. An implementation of the language constructs with real-time scheduling and locking for concurrency control is also described.Presentation