A denotational real-time semantics for shared processors

Authors:
Jozef Hooman
Affiliations:
-
Venue:
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Year:
1991

Citing 0
Cited 2

Functional specification of time-sensitive communicating systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
A compositional proof system for real-time systems based on explicit clock temporal logic

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract