P
P. Merlin
Researcher at IBM
Publications - 2
Citations - 1050
P. Merlin is an academic researcher from IBM. The author has contributed to research in topics: Communications protocol & Connectionless communication. The author has an hindex of 2, co-authored 2 publications receiving 1033 citations.
Papers
More filters
Journal ArticleDOI
Recoverability of Communication Protocols--Implications of a Theoretical Study
P. Merlin,D. Farber +1 more
TL;DR: The time-Petri net (TPN) appears to be a suitable model for the study of practical recoverable processes and several practical communication protocols are formally designed and analyzed using this new model.
Journal ArticleDOI
A Methodology for the Design and Implementation of Communication Protocols
TL;DR: This paper presents a coherent method which permits the specification, check out, and implementation of communication protocols, and it is believed that this methodology will facilitate the installation or modification of complex trunk protocols and other communication protocols.