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
Subject(s):
Computer science
Publisher DOI:
http://dx.doi.org/10.1109/MEMCOD.2009.5185391
Item views:
161
Metadata:
text | xml
Suggested Citation:
Nalini Vasudevan, Stephen A. Edwards, 2009, Buffer Sharing in CSP-like Programs, Columbia University Academic Commons, http://hdl.handle.net/10022/AC:P:10980.

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use