Shyamasundar, R. K.; Liu, L. Y. Compositional priority specification in real-time distributed systems. (English) Zbl 1075.68606 Sādhanā 17, No. 1, 75-93 (1992). MSC: 68Q10 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Hooman, J. J. M.; de Roever, W. P. An introduction to compositional methods for concurrency and their application to real-time. (English) Zbl 1075.68616 Sādhanā 17, No. 1, 29-73 (1992). MSC: 68Q60 68Q10 × Cite Format Result Cite Review PDF Full Text: DOI