Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
Howard Bowman, John Derrick, Ed Brinksma · IEEE Transactions on Software Engineering · 2000
Object-based distributed computing is now a well established technique for constructing large, heterogeneous computing and telecommunications systems. Indeed, standards bodies and consortia such as, ITU, ISO, OMG, TINA-C, etc., have all defined distributed object-based frameworks as a foundation for open distributed computing.