Modelling distributed systems
By: Wan Fokkink.
Series: Texts in theoretical computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin
Language: eng
Number of pages: 151
ISBN-13: 9783540739371
Subjects: Parallel processing (Electronic computers); Electronic data processing -- Distributed processing.; Parallel programs (Computer programs) -- Verification.
Notes: Includes bibliographical references and index.