I'd try BAT for this. Behavior Adjustment Training (BAT) | Official site for BAT: dog-friendly training for reactivity (aggression, fear, frustration) by Grisha Stewart, MA
But I alter it slightly. I reward the behavior I want with what the dog likes, food, tug toy, baby voice, whatever. So when he's offering calm and relaxed (but WILLING and FRIENDLY) greeting behaviors, I'd reinforce this. No dogs (unless they know each other and play together all the time) should greet each other so excitedly. That's considered a rude greeting and I've seen innocent but overly excited or even overly playful greetings turn into fights often. In fact, I saw one yesterday when the leash slipped out of my hand as I was getting out of the car. The dog ran up to the other dog full on to engage in play and the other dog became overwhelmed and defensive. Thankfully, it was only a loud, bluffing, snark fest. The dog that went on the defense is dog friendly, when greeted politely. He's a rude greeter also though. Pot calling the kettle black, I guess.