如何书写一个共方程

关于共簇、共方程与共方程规范说明的文献数量庞大，可追溯到二十世纪七十年代初。然而，共方程尚未成为计算机科学家日常实用的规范形式。在这篇综述论文中，我们认为这部分归因于书写共方程的多种语法，这似乎导致了对共方程是什么及其用途的一些混淆。通过梳理文献，我们识别出四种语法类型：作为余关系的共方程、作为谓词的共方程、作为方程的共方程，以及作为模态公式的共方程。我们以教程方式呈现每一种，将它们相互关联，并讨论它们各自的用途。