Assertion: counter machine | /r/ObjectUse | used in the process
Facets:
value: typically
type: DEGREE
Source sentences:
text: The counter machine is typically used in the process of designing parallel algorithms in relation to the mutual exclusion principle.