Haskell on a Shared-Memory Multiprocessor

Arthur Andersen CPA (Accounting) Firm

Arthur Andersen CPA (Accounting) Firm

Logic - University of Pennsylvania

Logic - University of Pennsylvania

Programming Languages B.J. Maclennan

Programming Languages B.J. Maclennan

Testing concurrent software - University of Maryland

Testing concurrent software - University of Maryland

Advanced Computer Architectures

Advanced Computer Architectures

Tools for Automated Verification of Concurrent Software

Tools for Automated Verification of Concurrent Software

Document

Document

Sample Title Slide Presentation Title Here

Sample Title Slide Presentation Title Here