Actor Model Software Transactional Memory Data Flow Programming.
Introduction to Information theory A.J. Han Vinck University of Duisburg-Essen April 2012.
Internal Talk, Oct 1 2002 Executable Specifications using Message Sequence Charts Abhik Roychoudhury School of Computing National University of Singapore.