Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. A Distributed Path Algorithm and Its Correctness Proof

A Distributed Path Algorithm and Its Correctness Proof

File(s)
83-556.ps (185.42 KB)
83-556.pdf (708.36 KB)
Permanent Link(s)
https://hdl.handle.net/1813/6396
Collections
Computer Science Technical Reports
Author
Wright, David D.
Schneider, Fred B.
Abstract

A distributed program is developed to allow a process in a network to determine a path from itself to any other process, assuming that the topology of the entire network is not known to any process and that each process knows only the names of the processes to which it is directly connected. The solution, written in CSP, is proved correct and deadlock-free.

Date Issued
1983-06
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR83-556
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance