John Derrick Books
Formal Methods For Open Object-Based Distribution Systems
By Élie Najm, International Federation For Information Processing., John Derrick, J. Derrick, H. Bowman, Howard Bowman, Jean-Bernard Stefani, International Workshop On Formal Methods For Open Object-Based Distributed Systems
Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based...
Read More
Formal Methods For Distributed Processing: A Survey Of Object-Oriented Approaches
By John Derrick, Howard Bowman, Howard Bowman, John Derrick
A collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Booknews Bowman and Derrick (computing laborato...
Read More