National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications
Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.