ConcurrenC: A Novel Model of Computation for Effective Abstraction of C-based SLDLs

Weiwei Chen and Rainer Doemer, "ConcurrenC: A Novel Model of Computation for Effective Abstraction of C-based SLDLs," TR 09-07, May 27, 2009. Posted June 1, 2009. download pdf