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