Recoverability of Communication Protocols - Implications of a Theoretical Study

@article{Merlin1976RecoverabilityOC,
  title={Recoverability of Communication Protocols - Implications of a Theoretical Study},
  author={Philip M. Merlin and Debora B Farber},
  journal={IEEE Transactions on Communications},
  year={1976},
  volume={24},
  pages={1036-1043}
}
A study is presented which permits the formal analysis and synthesis of recoverable computer communication protocols. This study is based on a formal representation of processes by a model of computation, the Petri nets (PN's). The PN model is generalized to include a representation of the possible failures, and then, the concept of "recoverability" is formally defined. A set of necessary and sufficient conditions which a process must satisfy in order to be recoverable is derived. In the PN… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 345 CITATIONS

Exploiting temporal uncertainty in the distributed simulation of time Petri nets

  • 38th Annual Simulation Symposium
  • 2005
VIEW 9 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Scheduling real-time systems with periodic tasks using a model-checking approach

  • 2014 12th IEEE International Conference on Industrial Informatics (INDIN)
  • 2014
VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Decentralized diagnosis based on fault diagnosis graph

  • 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)
  • 2013
VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Implementing timed extensions of Petri nets in Real-Time

VIEW 7 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1976
2019

CITATION STATISTICS

  • 37 Highly Influenced Citations