PROCESS ALGEBRA FOR PARALLEL AND DISTRIBUTED PROCESSING Journal

Overview
Identity
View All

publication venue for

Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs. 2:3-45. 2008