[SAL] Assignments/Definitions in SAL

[Srihari Sukumaran]

Hello

I had a couple of questions regarding (guarded) assignements in SAL:

1) Does the ";" represent a sequencing of assignments/commands in 
INITIALIZATION or TRANSITION sections? In A1;A2 is it A2 always performed 
after A1?

2) For a guarded command does the semantics state that all the assignments 
in "Assignements" are executed atomically? Or can actions from other 
concurrently composed modules be interleaved with these? eg: if  M1 is "G 
-> A1 ; A2" and M2 is "A3" can it happen that A3 is executed between A1 
and A2 in M1 [] M2?

Thank you

Srihari Sukumaran
Philips Research India - Bangalore
Philips Innovation Campus
No 1, Murphy Road, Ulsoor,
Bangalore 560008. INDIA
Tel: +91 80 25579000 ext 1011
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/sal/attachments/20060222/1d79a483/attachment.html