Concurrent Objects -- Introspect, Extrospect & Prospect -- Aki Yonezawa Dept. of Computer Science & Information Technology Center University of Tokyo.
Rebecca Modeling Language Mahdieh Ahmadi Verification of Reactive Systems March 2014.
WHAT IS COMPUTING / COMPUTER SCIENCE? Rocky K. C. Chang August 31, 2015.
Pregel: A System for Large-Scale Graph Processing Grzegorz Malewicz, Matthew Austern, Aart Bik, James Dehnert, Ilan Horn, Naty Leiser, Grzegorz Czajkowski.
Concepts in Object-Oriented Programming Languages Slides Today Taken From John Mitchell.
Rebecca Modeling Language