نتائج البحث

Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint system

• Authors : Hermenegildo, Manuel V.

Subjects: Informática

• Source: Proceedings of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming | 1994 ICOT/NSF Workshop on Parallel and

تفاصيل العنوان

Compositional Reasoning of Concurrency with the Visibility Method

• Authors : Öhman, Joakim; Nanevski, Aleksandar

Subjects: Informática

تفاصيل العنوان

A model-driven approach to teaching concurrency

• Authors : Carro Liñares, Manuel; Mariño Carballo, Julio; Herranz Nieva, Ángel

Subjects: Informática

تفاصيل العنوان