Fokkink, Wan, 1965-
Modelling distributed systems / Wan Fokkink. - Berlin : Springer, 2007. - 1 online resource (viii, 151 p.) : ill. - Springer Texts in theoretical computer science . - Texts in theoretical computer science. .
Electronic book.
Includes bibliographical references and index.
9783540739388 3540739386 9783540739371 3540739378 9786611355166 6611355162
Parallel processing (Electronic computers)
Electronic data processing--Distributed processing.
Parallel programs (Computer programs)--Verification.
QA76.58 / .F65 2007
Modelling distributed systems / Wan Fokkink. - Berlin : Springer, 2007. - 1 online resource (viii, 151 p.) : ill. - Springer Texts in theoretical computer science . - Texts in theoretical computer science. .
Electronic book.
Includes bibliographical references and index.
9783540739388 3540739386 9783540739371 3540739378 9786611355166 6611355162
Parallel processing (Electronic computers)
Electronic data processing--Distributed processing.
Parallel programs (Computer programs)--Verification.
QA76.58 / .F65 2007