We present a framework for characterizing the fundamental limit of communication with feedback for various point-to-point and multi-terminal finite-state channels. Among other benefits, this framework allows to identify joint sourcechannel coding scenarios for which separation holds. For example, we will characterize a large class of finite-state multiple access channels for which separation holds with, without, or with partial feedback.