Fokkink, Wan. , <br/><br/>
Modelling distributed systems / 
Wan Fokkink. 
 - viii, 151 pages :  illustrations ;  24 cm. 
 - Texts in theoretical computer science .
<br/><br/><label>ISBN: </label>3540739378 9783540739371 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Parallel processing (Electronic computers).<br/>Electronic data processing --Distributed processing.<br/>Parallel programs (Computer programs) --Verification.
<br/><br/><label>LC Class. No.: </label>QA76.58   / .F64 2007