Scholarly Works

Synthesizing and Verifying Multicore Parallelism...

Journal article

Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs

Authors

Anand C; Kahl W

Journal

, Vol. 2, ,

Publication Date

December 22, 2008

DOI

10.1201/9781420064872.pt1

Associated Experts

Christopher Anand

Associate Professor, Computing and Software

Wolfram Kahl

Professor, Computing and Software

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback