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” Metadata:
- Title: ➤ A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- Author: J. Strother Moore
“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 Identifiers:
- The Open Library ID: 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.