✦ LIBER ✦

Denotational semantics of a simple model of Eiffel

✍ Scribed by Yuzhong Qu; Zhijian Wang; Jiafu Xu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Denotational semantics of ANSI C

✍ Nikolaos S. Papaspyrou 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 344 KB

Denotational semantics of hybrid automat

✍ Abbas Edalat; Dirk Pattinson 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 321 KB

Denotational semantics of object specifi

✍ Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 450 KB

Extending CSP: denotational semantics

✍ Lawrence, A.E. 📂 Article 📅 2003 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 1016 KB

The denotational semantics of sequential

✍ Michael J.C. Gordon 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 349 KB