A temporal logic for reasoning about partially ordered computations (Extended Abstract)

Publisher Website

1 January 1984

conference paper
Published by Association for Computing Machinery (ACM)

p. 28-37
https://doi.org/10.1145/800222.806733

Abstract

No abstract available

Cited by 36 articles