Buffer sharing in CSP-like programs
Vasudevan, Nalini   Edwards, Stephen A.  
Department of Computer Science, Columbia University, New York, USA;

This paper appears in: Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on
Publication Date: 13-15 July 2009
On page(s): 151-160
Location: Cambridge, MA, USA,
ISBN: 978-1-4244-4806-7
Digital Object Identifier: 10.1109/MEMCOD.2009.5185391
Current Version Published: 2009-08-07