Selected Computer Science WWW links

The WWW pointers in this page are selected and maintained by Atanas Parashkevov. If you have other interesting sites or would like to include your page, send him an e-mail.

Papers and TR databases and searching

• Computer Science Technical Reports Search
• Computer Science Technical Reports Archive Sites
• A Collection of Computer Science Bibliographies, available on the Internet

Real-Time systems

• Tenet group
• University of York Real-Time group
• New Jersey Institute of Technology Real-Time Group
• IEEE-CS Technical Committee on Real-Time Systems
• University of Maryland TimeWare Project
• Doug Jensen's Distributed Real-Time Systems Page

Parallel systems

• Transputer, occam and parallel computing archive at HENSA
• The Transputer archive at Oxford University, UK
• The Occam archive at Oxford University, UK
• Distributed Algorithms & Systems Home
• WANG'S BOOKSHELF (Parallel Computing)

Formal methods

• Formal Methods Page at Oxford University, UK
• The CSP archive at Oxford University, UK
• Formal Methods at Cornell University, USA
• AMAST, Algebraic Methodology And Software Technology Index at University of Twentle, Holland