Process Algebra를 이용한 Chang의 Learder Election Algorithm의 검증

  • CHOI, Jin Young
제목
Process Algebra를 이용한 Chang의 Learder Election Algorithm의 검증
저자
CHOI, Jin Young
학회명
정보과학회