resource node op message(int) body node() write("node resource is alive") process A var i : int do true -> receive message(i); write("node A received", i) od end A process B do true -> in message(i) -> write("node B received", i) ni od end B process C do true -> in message(i) st i <= 5 -> write("node C received", i) ni od end C end node resource multiple_ins() import node var ncap : cap node write("multiple_ins resource is alive") ncap := create node() fa i := 1 to 13 -> send ncap.message(i) af end multiple_ins /* ............... Example compile and run(s) % sr -v; sr -o multiple_ins multiple_ins.sr SR version 2.3, October 1994 % ./multiple_ins multiple_ins resource is alive node resource is alive node B received 1 node C received 2 node A received 3 node B received 4 node C received 5 node A received 6 node B received 7 node A received 8 node B received 9 node A received 10 node B received 11 node A received 12 node B received 13 RTS warning: blocked process: node.C : file multiple_ins.sr, line 16 RTS warning: blocked process: node.B : file multiple_ins.sr, line 12 RTS warning: blocked process: node.A : file multiple_ins.sr, line 8 */