Assertion: temporal logic | /r/RelatedTo | this style of programming
Facets:
value: often
type: TEMPORAL
Source sentences:
text: (Since reactivity often involves concurrent or parallel programming, temporal logic is often associated with this style of programming.