Dahlqvist, Fredrik;
Schmid, Todd;
(2021)
How to write a coequation.
In:
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021).
Coalgebra: Salzburg, Austria.
Preview |
Text
2109.11967v1.pdf - Other Download (419kB) | Preview |
Abstract
There is a large amount of literature on the topic of covarieties, coequations and coequational specifications, dating back to the early seventies. Nevertheless, coequations have not (yet) emerged as an everyday practical specification formalism for computer scientists. In this review paper, we argue that this is partly due to the multitude of syntaxes for writing down coequations, which seems to have led to some confusion about what coequations are and what they are for. By surveying the literature, we identify four types of syntaxes: coequations-as-corelations, coequations-as-predicates, coequations-as-equations, and coequations-as-modal-formulas. We present each of these in a tutorial fashion, relate them to each other, and discuss their respective uses.
| Type: | Proceedings paper |
|---|---|
| Title: | How to write a coequation |
| Event: | 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://www.coalg.org/calco-mfps2021/ |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science UCL > Provost and Vice Provost Offices > UCL BEAMS UCL |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10146158 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
