Home
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
View published work (Non-McMaster Users)

Contact the Experts team