Cited By
View all- Hoare C(2021)Communicating Sequential ProcessesTheories of Programming10.1145/3477355.3477364(157-186)Online publication date: 4-Oct-2021
- Floyd R(2007)The paradigms of programmingACM Turing award lectures10.1145/1283920.1283934Online publication date: 1-Jan-2007
- Kaplan SSmaragdakis YWilson P(2003)Flexible reference trace reduction for VM simulationsACM Transactions on Modeling and Computer Simulation10.1145/778553.77855413:1(1-38)Online publication date: 1-Jan-2003
- Show More Cited By