바이너리타입 : 액세스 제어와 싱크로니제이션 기술방법

본 논문은 액세스 제어나 싱크로니제이션 문제의 새로운 기술방법을 제시하고 있다. 바이너리 타입으로 불리우는 이 기술방법은 보호받고 있는 오브젝르를 제어하는 프로세스의 간단한 기술을 허용하고 있으며, dining philosopher, channel allocation. readers writers 문제의 응용에서 보는 바와 같이, 형의 일치에 의하여 외적 제약조건의 검증을 가능하게 하며, 액세스 순간의 정확성에 대한 검증도 수월케하는 장점을 가지고 있다.