Régis Cridlig Eric Goubault Semantics and Analysis of Linda-Based Languages. 72-86 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#CridligG93