✦ LIBER ✦

Temporal Constraints for Concurrent Objects: Extended Abstract

✍ Scribed by Giuseppe Milicia; Vladimiro Sassone

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 89 KB
Volume: 82
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80800-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Jeeg: temporal constraints for the synch

Jeeg: temporal constraints for the synchronization of concurrent objects

✍ Giuseppe Milicia; Vladimiro Sassone 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 341 KB

Using temporal constraints for temporal

Using temporal constraints for temporal abstraction

✍ M. Campos; J. M. Juárez; J. Palma; R. Marín 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 767 KB

Compositionality in the temporal logic o

Compositionality in the temporal logic of concurrent systems (extended abstract)

✍ F.S de Boer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 932 KB

An algebraic semantic framework for obje

An algebraic semantic framework for object oriented languages with concurrency (extended abstract)

✍ Ruth Breu; Elena Zucca 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 665 KB

Fixing the Semantics of Some Concurrent

Fixing the Semantics of Some Concurrent Object-Oriented Concepts: Extended Abstract

✍ C.B. Jones 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 296 KB

Object-Oriented Style Overloading for Ha

Object-Oriented Style Overloading for Haskell (Extended Abstract)

✍ Mark Shields; Simon Peyton Jones 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 992 KB

Haskell has a sophisticated mechanism for overloading identifiers with multiple definitions at distinct types. Object-oriented programming has a similar notion of overriding and overloading for methods names. Unfortunately, it is not possible to encode object-oriented overloading directly using Hask