Becoming a member of the LoveReading community is free.

No catches, no fine print just unadulterated book loving, with your favourite books saved to your own digital bookshelf.

New members get entered into our monthly draw to win £100 to spend in your local bookshop Plus lots lots more…

Find out more

Dave Clarke - Author

About the Author

Dave Clarke, now in his mid forties; is recovering from rowing solo across the Atlantic earlier this year. Dave's epic adventure puts him in the Guinness book of records as the first to have sailed and then rowed this route solo. Visit to see details of the authors latest project.


Featured books by Dave Clarke

Other books by Dave Clarke

Coordination Models and Languages

Coordination Models and Languages

Author: Dave Clarke Format: Paperback / softback Release Date: 01/06/2010

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hosted and organized by the Centrum voor Wiskunde en Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related veri?cation and analysis techniques. The 10th IFIP International Conference on Distributed Applications and Interop- able Systems in particular elicited contributions on architectures, models, te- nologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends for bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and the 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences.

Author Info

Author's Website

Twitter Updates

If this is your author page then you can share your Twitter updates with your readers right here on LoveReading

Find out more

Facebook Updates

If this is your author page then you can share your Facebook updates with your readers right here on LoveReading

Find out more