"During" cannot be expressed by "After"
Authors:
Pawel Urzyczyn
Affiliations:
-
Venue:
Journal of Computer and System Sciences
Year:
1986
Citing
0
Cited
1
Concurrent dynamic logic
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract