Synchronous concurrency: Difference between revisions

Content added Content deleted
No edit summary
mNo edit summary
Line 1,174: Line 1,174:
VARIABLE X
VARIABLE X
: WRITER
: WRITER
CO: 0 X !
CO:
BEGIN
BEGIN
CHAN CHAN?
CHAN CHAN?
Line 1,197: Line 1,197:
\ * RUNNER
\ * RUNNER
\
\
READER WRITER ( WRITER WRITER :-) GO CR BYE
0 X ! READER WRITER ( WRITER WRITER :-) GO CR BYE


-------
-------