Tweaked join/spawn semantics for Tutorial Lesson 17
* Tweaked join/spawn semantics
* Accepted Baltoli's stylistic correction
A space was added preceding the three dots
@@ -102,7 +102,7 @@ module LESSON-17-B
| Int
| Exp "+" Exp [seqstrict]
| "spawn" "{" Stmts "}"
- | "join" Exp ";"
+ | "join" Exp ";" [strict]
configuration <threads>
<thread multiplicity="*" type="Map">
@@ -121,7 +121,7 @@ module LESSON-17-B
rule <k> I1:Int + I2:Int => I1 +Int I2 ...</k>
rule <thread>...
- <k> spawn { Ss } => NEXTID </k>
+ <k> spawn { Ss } => NEXTID ...</k>
...</thread>
<next-id> NEXTID => NEXTID +Int 1 </next-id>
(.Bag =>
