✦ LIBER ✦

Linking Event-B and Concurrent Object-Oriented Programs

✍ Scribed by Andrew Edmunds; Michael Butler

Book ID: 108126991
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 346 KB
Volume: 214
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.06.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systematic Development of Concurrent Obj

Systematic Development of Concurrent Object-Oriented Programs

✍ Paulo Borba 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 393 KB

BCOOPL: Basic concurrent object-oriented

BCOOPL: Basic concurrent object-oriented programming language

✍ Hans de Bruin 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 281 KB

A small, object-oriented language is introduced: BCOOPL (Basic Concurrent Object-Oriented Programming Language). This language is specifically targeted to support component-oriented programming. The main design goal of BCOOPL was to provide a small, but powerful set of language features that support

Concurrent object-oriented programming b

Concurrent object-oriented programming based on MPI

✍ Hong-wei D. Lu; Hou-xiang Wang; Xiao-li Pei; Yong-ling Xiao 📂 Article 📅 2004 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 457 KB

Concurrent object-oriented programming f

Concurrent object-oriented programming for distributed real-time systems

✍ Katsumi Maruyama 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1016 KB

Concurrent, object-oriented program desi

Concurrent, object-oriented program design in real-time systems

✍ K.W Plessmann; L Tassakos 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 742 KB

A survey of concurrent object-oriented l

A survey of concurrent object-oriented languages

✍ Philippsen, Michael 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 476 KB