✦ LIBER ✦

On the Specification of Higher Dimensional Automata

✍ Scribed by Richard Buckland; Michael Johnson; Dominic Verity

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the specification of automata by mean

✍ A. T. Mishchenko 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 952 KB

On an approach to functional specificati

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 874 KB

On an approach to functional specificati

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 698 KB

Iterative behaviour of one-dimensional t

✍ E. Goles; M. Tchuente 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 167 KB

The specification of two-dimensional pol

✍ J. Graham; W.P. Newell 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 254 KB

The use of Ada for the specification of

✍ S Savoysky 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 948 KB