Synthesis of Protocol Specifications for Design of Responsive Protocols (Special Issue on Responsive Computer Systems)