✦ LIBER ✦

Specifying and inheriting concurrent objects

✍ Scribed by Kiyeol Ryu; Seungryoul Maeng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Agents and concurrent objects

✍ Briot, J.-P. 📂 Article 📅 1998 🏛 IEEE Computer Society 🌐 English ⚖ 200 KB

A note on specifying and verifying concu

✍ Leszek Holenderski 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 593 KB

Specifying and implementing object manag

✍ Harwood, W.T. 📂 Article 📅 1982 🏛 The Institution of Electrical Engineers ⚖ 632 KB

On object systems and behavioral inherit

✍ Harel, D.; Kupferman, O. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 392 KB

Similarity between concurrent visual dis

✍ Duncan, John 📂 Article 📅 1993 🏛 Psychonomic Society Publications 🌐 English ⚖ 863 KB

A Concurrent Object Calculus: Reduction

✍ Andrew D. Gordon; Paul D. Hankin 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 904 KB