[PDF] A Model for Reasoning About JavaScript Promises
This is an open access article written by Magnus Madsen, Ondřej Lhoták and Frank Tip, published by the ACM in 2017. I'm bookmarking it here to read later but it appears to provide a framework to better understand Promises in JavaScript. According to the abstract: "Based on λp, we introduce the promise graph, a program representation that can assist programmers with debugging of promise-based code."