Title: Modelling distributed systems
First published: 2007
Subjects: Parallel programs (Computer programs), Electronic data processing, Traitement réparti, Parallel processing (Electronic computers), Distributed processing, Verification, Parallélisme (Informatique), Parallel processing (electronic computers), Parallel programming (computer science)