Basic Ideas (2): Time Tags

c:?s1 bool chan, d:?t1 bool chan; s?t, t?s├ (spawn(fn()=>(send(c, true); send(d, false))); recv(d) andalso recv(c)):bool

c:?s1 bool chan, d:?t1 bool chan; s?t, t?s├ (spawn(fn()=>(send(c, true); send(d, false))); recv(d) andalso recv(c)):bool