A graphical representation of interval logic

Authors:
P. M. Melliar-Smith
Affiliations:
Univ. of California, Santa Barbara
Venue:
International Conference on Concurrency on Concurrency 88
Year:
1988

Citing 0
Cited 3

Graphical specifications for concurrent software systems

ICSE '92 Proceedings of the 14th international conference on Software engineering
A graphical interval logic for specifying concurrent systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
A graphical environment for the design of concurrent real-time systems

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract