Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
alvis:sbrexample [2015/12/13 00:07] marcin | alvis:sbrexample [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 7: | Line 7: | ||
< | < | ||
agent S { | agent S { | ||
- | loop { | + | loop { -- 1 |
- | out push; -- 2 | + | out put; -- 2 |
} | } | ||
} | } | ||
Line 14: | Line 14: | ||
agent B { | agent B { | ||
i :: Int = 0; | i :: Int = 0; | ||
- | proc (i == 0) push { | + | proc (i == 0) put { |
- | in push; | + | in put; -- 1 |
i = 1; -- 2 | i = 1; -- 2 | ||
exit; -- 3 | exit; -- 3 | ||
} | } | ||
- | proc (i /= 0) pop { | + | proc (i /= 0) get { |
- | out pop; -- 4 | + | out get; -- 4 |
i = 0; -- 5 | i = 0; -- 5 | ||
exit; -- 6 | exit; -- 6 | ||
Line 28: | Line 28: | ||
agent R { | agent R { | ||
loop { -- 1 | loop { -- 1 | ||
- | in pop; -- 2 | + | in get; -- 2 |
} | } | ||
} | } | ||
Line 36: | Line 36: | ||
{{ : | {{ : | ||
- | **[[: | + |