Abstract
Real-time programs are the least well understood of concurrent programs: apart from being subject to all the usual problems associated with concurrency and communication they must interact with a variety of agents’ at points in the execution that have a specified ordering relation with time. So, for example, the familiar partial order over the execution of the statements of a concurrent program must be made more elaborate to accommodate time-ordering, and this requires a semantics that can account for programs whose execution may be constrained by limitations on the availability of resources.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Goswami and M. Joseph. A semantic model for the specification of real-time processes. In CONCURRENCY 88, Lecture Notes in Computer Science 335, pages 292–306, Springer-Verlag, Heidelberg, 1988.
M. Joseph and A. Goswami. What’s real about real-time systems? In Procedings of the 9th IEEE Real-Time systems Symposium, pages 78–85, Huntsville, Alabama, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag London
About this paper
Cite this paper
Joseph, M., Goswami, A. (1990). Semantics for Specifying Real-time Systems. In: Rattray, C. (eds) Specification and Verification of Concurrent Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3534-0_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3534-0_13
Publisher Name: Springer, London
Print ISBN: 978-3-540-19581-8
Online ISBN: 978-1-4471-3534-0
eBook Packages: Springer Book Archive