Franck Pommereau / snakes-posters

Go to a project
Toggle navigation Toggle navigation pinning
Franck Pommereau
5499d870 1 parent fb334722

fixed typo

Inline Side-by-side
Showing 2 changed files with 1 additions and 1 deletions
No preview for this file type
...@@ -268,7 +268,7 @@ ...@@ -268,7 +268,7 @@
268 \NT{process} \abcdK{;} \NT{process}\\ 268 \NT{process} \abcdK{;} \NT{process}\\
269 \* sequential composition 269 \* sequential composition
270 270
271 - \NT{process} \abcdK{*} \NT{process}\\ 271 + \NT{process} \abcdK{+} \NT{process}\\
272 \* non-deterministic choice\\ 272 \* non-deterministic choice\\
273 \+ \remark{use opposite guards to\\[-2pt] 273 \+ \remark{use opposite guards to\\[-2pt]
274 \+\( make it deterministic} 274 \+\( make it deterministic}
......