M
M. Zaki
Researcher at University of Alabama
Publications - 1
Citations - 1
M. Zaki is an academic researcher from University of Alabama. The author has contributed to research in topics: Modular design & Synchronization (computer science). The author has an hindex of 1, co-authored 1 publications receiving 1 citations.
Papers
More filters
Journal ArticleDOI
A model for the protocol design of back-end storage networks
TL;DR: This work presents a formal design for the system protocols of back-end storage networks that relies on predicate-transition nets (PrT-nets), which actually represent an extension of Petri nets and can provide reasonable means for precise modeling of complex systems.