Home

Buffer Sharing in CSP-like Programs

Nalini Vasudevan; Stephen A. Edwards

Title:
Buffer Sharing in CSP-like Programs
Author(s):
Vasudevan, Nalini
Edwards, Stephen A.
Date:
Type:
Articles
Department:
Computer Science
Permanent URL:
Book/Journal Title:
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Codesign (Memocode 2009)
Publisher:
IEEE
Publisher Location:
Piscataway, N.J.
Subject(s):
Computer science
Publisher DOI:
http://dx.doi.org/10.1109/MEMCOD.2009.5185391
Item views:
145
Metadata:
View

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.