Revision as of 23:27, 3 February 2020 edit Ghettoblaster (talk \| contribs) Extended confirmed users 19,881 edits mNo edit summary ← Previous edit		Revision as of 16:19, 8 March 2020 edit undo Ghettoblaster (talk \| contribs) Extended confirmed users 19,881 edits m →Further reading Next edit →
Line 35: == Further reading == * P: Safe asynchronous event-driven programming. Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. In Proceedings of [[Association for Computing Machinery\|ACM]] [[SIGPLAN]] Conference on [[Programming Language Design and Implementation]] (PLDI), 2013. * Systematic testing of asynchronous reactive systems. Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015). * Building Reliable Distributed Systems With P. Ankush Desai, Ethan Jackson, Amar Phanishayee, Shaz Qadeer and Sanjit A. Seshia. [[University of California, Berkeley]]. Technical Report No. UCB/EECS-2015-198.

P (programming language): Difference between revisions