Metadata
Author: WikiMatrix
Data
English[en]
In PROMELA models, communication via message channels can be defined to be synchronous (i.e., rendezvous), or asynchronous (i.e., buffered).
Korean[ko]
PROMELA 모델에서, 메시지 채널을 통한 통신은 동기식 (즉, 랑데부(rendezvous))) 또는 비동기식 (즉, 버퍼링(buffered))으로 정의(define)될 수 있다.