<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2001-11-26 10:54:40Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software |
|
| First Page | Document Content | |
|---|---|---|
Date: 2001-11-26 10:54:40Data Communicating sequential processes Concurrent computing Axiom Communications protocol Program logic Computing Process calculi Software |
|
Using Message Passing for Distributed Programming: Proof Rules and Disciplines RICHARD D. SCHLICHTING University of Arizona FRED B. SCHNEIDER