function t1() {
  while(true) {
    var msg = receive->();
    var dest = document.getElementById("p2");
    dest.value += (msg +"\n");
  }
}

function t2() {
  while(true) {
    var msg = receive->(); 
    var dest = document.getElementById("p1");
    dest.value += (msg + "\n");
  }
}

var process1 = spawn(t1);
var process2 = spawn(t2);

function send1() {
  spawn(function() {
    var msg = document.getElementById('msg1').value;
    send->(process1, msg);
  });
}

function send2() {
  spawn(function() {
    var msg = document.getElementById('msg2').value;
    send->(process2, msg);
  });
}