I'm a 5 year iOS user on day one using Android (S4 w/ 4.3). So there is no core audio services where a specific policy (pause, duck, mix) is applied, but it's up to the application?
Coming into work I was concerned the podcast player, Pocket Casts, was thrashing, but now I know it was because I had email alerts coming in from Gmail and Touchdown.
If the solution to turn off notifications works, does that affect the current app too? My normal use in the car is for Waze to be running with podcasts playing. I still like the travel alerts of Waze, but don't know if they not be played if notifications were turned off. Not fussed with audio pausing for alerts, as some are long and drown out content I'm listening to.
Android definitely is a different environment than iOS!