Assertion: behavior | /r/CapableOf | appear as set
Facets:
value: abstractly
type: MANNER
Source sentences:
text: Behavior for a large-scale system in general, where concurrency is admitted, appears abstractly as a set of communicating sequential processes.