Articles:
Buffer Sharing in CSP-like Programs
Nalini Vasudevan; Stephen A. Edwards
Downloads:
- Title:
- Buffer Sharing in CSP-like Programs
- Author(s):
-
Vasudevan, Nalini
Edwards, Stephen A. - Date:
- 2009
- Type:
- Articles
- Department:
- Computer Science
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:10980
- 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
- DOI:
- http://dx.doi.org/10.1109/MEMCOD.2009.5185391
- Item views:
- 141