“Sometimes” and “not never” revisited
Work
Year: 1986
Type: article
Abstract: The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent programs are studied. These issues have been previously considered by Lamport.... more
Source: Journal of the ACM
Authors E. Allen Emerson, Joseph Y. Halpern
Institutions The University of Texas at Austin, IBM (United States)
Cites: 41
Cited by: 991
Related to: 10
FWCI: 12.67
Citation percentile (by year/subfield): 99.98
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze