publicações Termination of Rewriting with Non-Monotonics Orderings Documento Towards the Automatic Synthesis of Asynchronous Communication Mechanisms Documento
