Home›Books›Teruo HigashinoTeruo HigashinoNo biography available.Works (3)Principles of Distributed SystemsFormal description techniques and protocol specification, testing and verification1997Stabilization, Safety, and Security of Distributed Systems