VERIFIKASI PROTOKOL CTP (COMMAND TRANSFER PROTOCOL) MENGGUNAKAN SPIN/PROMELA
Command Transfer Protocol (CTP) is developed by Lev Naumov. CTP can be used for handle problem on cluster networking those are rapid data interchange, reliable data interchange, huge data block interchange support, broadcasting support. To do verification CTP because CTP is new protocol, so that eve...
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2014
|
| Subjects: |