Coherence is an experimental programming language.
It is the continuation of Subtext using other means.
I introduced it in a talk at OOPSLA Onward '09 [paper] [full version].
I discussed some formalities in this talk at NEPLS'09 [Powerpoint].
Update: I discovered that co-action is non-deterministic, and have abandoned it. I described an alternative approach in my talk at the Emerging Languages Camp[Powerpoint, PDF].
Further discussion is at Alarming Development.
— May you program in clarity.