A term graph rewriting language from Manchester University(?), designed to be easily implementable on distributed architectures and featuring limited synchronisation facilities.