Implementation
process body consumer() { int c; for(;;) { accept put(a) c = a; if ( c == EOF ) break; putchar( islower(c)?toupper(c):c ); } } process body producer(process cons) { int c; do { cons.put( c = getchar() ); } while ( c != EOF ); }
process body consumer() { int c; for(;;) { accept put(a) c = a; if ( c == EOF ) break; putchar( islower(c)?toupper(c):c ); } } process body producer(process cons) { int c; do { cons.put( c = getchar() ); } while ( c != EOF ); }