We propose a formal model for argumentation based dialogues between agents using assumption based argumentation (ABA). The model is given in terms of ABA-specific utterances, trees drawn from dialogues and legal-move and outcome functions. We prove a formal connection between these dialogues and argumentation semantics, by showing that every successful dialogue computes admissible arguments. We illustrate persuasion as an application of the dialogue model.