DAMA, JULIA M. and Pinontoan, Benny (2004) FORMALISM OF COMMUNICATION BEHAVIOR ON HANDSHAKE CIRCUIT USING TRACE THEORY. Skripsi thesis, UNIVERSITAS KATOLIK DE LA SALLE.
![[img]](https://repo.unikadelasalle.ac.id/style/images/fileicons/other.png) |
PDF
COVER-DAFTAR_ISI_JuliaDamma.pdf Download (427kB) |
|
PDF
BAB_ISI-LAMPIRAN_JuliaDamma.pdf Restricted to Repository staff only Download (901kB) |
Abstract
A handshake circuit is a network of asynchronous components connected by point-to-point channels along which components interact by means of handshaking signaling. Handshake circuit is formed from some connectable handshake processes. Handshake process itself is a mathematical object that describes a handshake communication behavior. The communication behavior of handshake circuit can be observed by formalize handshake processes. This thesis is about to formalize two handshake processes in order to prove whether they are connectable from each of their communication behavior using trace theory and shows a handshake circuit that are constructed from connectable handshake processes to describe the communication behavior.
Keyword : Handshake circuits, trace theory, parallel process
| Item Type: | Thesis (Skripsi) | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Subjects: | T Technology > T Technology (General) | ||||||
| Divisions: | Fakultas Teknik > Teknik Informatika | ||||||
| Depositing User: | Mr Victor Edwin Ohoiwutun | ||||||
| Date Deposited: | 13 Nov 2020 05:07 | ||||||
| Last Modified: | 13 Nov 2020 05:07 | ||||||
| URI: | http://repo.unikadelasalle.ac.id/id/eprint/1655 |
Actions (login required)
 |
View Item |