A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol - Info and Reading Options
By J. Strother Moore
"A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol" was published by Langley Research Center in 1992 - Hampton, Va and it has 50 pages.
“A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Metadata:
- Title: ➤ A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- Author: J. Strother Moore
- Number of Pages: 50
- Publisher: Langley Research Center
- Publish Date: 1992
- Publish Location: Hampton, Va
“A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” Subjects and Themes:
- Subjects: Asynchronous communication - Fault tolerance
Edition Specifications:
- Pagination: 50 p. :
Edition Identifiers:
- The Open Library ID: OL19244505M - OL12694084W
AI-generated Review of “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol”:
Read “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol”:
Read “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” by choosing from the options below.
Search for “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” in Libraries Near You:
Read or borrow “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” from your local library.
Buy “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” online:
Shop for “A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol” on popular online marketplaces.
- Ebay: New and used books.