✦ LIBER ✦

An Abstract Equivalence Notion for Object Models

✍ Scribed by Rohit Gheyi; Tiago Massoni; Paulo Borba

Book ID: 108126507
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 317 KB
Volume: 130
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.03.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cooperative models for allocating an obj

Cooperative models for allocating an object

✍ Vito Fragnelli; Stefano Gagliardo 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 200 KB

An abstract object model of an animal's

An abstract object model of an animal's environment

✍ Bohdan Durnota 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 282 KB

Designing an object-oriented structure f

Designing an object-oriented structure for crop models

✍ B. Acock; V.R. Reddy 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 702 KB

On an equivalence checking technique for

On an equivalence checking technique for algebraic models of programs

✍ R. I. Podlovchenko 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 233 KB

An equivalent continuous model for switc

An equivalent continuous model for switched systems

✍ Lopez, Andres; Patino, Diego; Diez, Rafael; Perilla, Gabriel 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 409 KB

An Incremental Model for Concurrent Obje

An Incremental Model for Concurrent Objects

✍ Sergio E.R. de Carvalho; Toacy C. de Oliveirae 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 372 KB

Numerous models have been proposed for concurrent objects, and their implementations in programming languages have been discussed. This paper presents an incremental model for object-oriented concurrency, starting out with a set of basic assumptions, which try to minimize user participation in desig