[SAL] A question when using SAL

John Rushby rushby at csl.sri.com
Sun Jun 18 14:38:10 PDT 2006


> What is "[]" ? Is it means two process asynchronously executing

This is a pretty basic question.  I suggest you take a few hours to
read the documentation and some of the examples and tutorials at
http://sal.csl.sri.com/documentation.shtml

John



More information about the SAL mailing list