Duality in specification languages: a lattice-theoretical approach.
Saved in:
| Title: | Duality in specification languages: a lattice-theoretical approach. |
|---|---|
| Authors: | Back, R.1, Wright, J.2 |
| Source: | Acta Informatica. 1990, Vol. 27 Issue 7, p583-625. 43p. |
| Database: | Mathematics Source |
| ISSN: | 00015903 |
|---|---|
| DOI: | 10.1007/BF00259469 |
