✦ LIBER ✦

Strong types for coordinating active objects

✍ Scribed by Franz Puntigam

Book ID: 102120092
Publisher: John Wiley and Sons
Year: 2001
Tongue: English
Weight: 329 KB
Volume: 13
Category: Article
ISSN: 1532-0626
DOI: 10.1002/cpe.570

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Termination detection for active objects

✍ Frank S. de Boer; Immo Grabe; Martin Steffen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 578 KB

Distance-type reaction coordinates for m

Distance-type reaction coordinates for modelling activated processes

✍ Jürgen Schlitter; Wolfgang Swegat; Thomas Mülders 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 112 KB

Polymorphism, objects and abstract types

✍ O'Hearn, Peter W. 📂 Article 📅 1998 🏛 Association for Computing Machinery ⚖ 754 KB

Polymorphism, objects and abstract types

✍ O'Hearn, Peter W. 📂 Article 📅 1998 🏛 Association for Computing Machinery ⚖ 754 KB

ion is one of the pillars of computer science . Of course . choosing the right concept s to emphasize, and details to suppress, is crucial in all of science, but in computer science th e role of abstraction extends beyond that of sensible methodology . For in computing we have see n the emergence of

Active force closure for multiple object

Active force closure for multiple objects

✍ Harada, Kensuke ;Kaneko, Makoto ;Tsuji, Toshio 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 215 KB

Behavioral Subtyping Relations for Activ

Behavioral Subtyping Relations for Active Objects

✍ Heike Wehrheim 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 190 KB