๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Concurrent languages in distributed systems

Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
345 KB
Volume
9
Category
Article
ISSN
0169-7552

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Concurrency Model for Distributed System
Concurrency Model for Distributed Systems
โœ Myungchul Kim; Samuel T. Chanson; Son T. Vuong ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 243 KB

Concurrent behaviors in distributed systems are generally difficult to specify and analyze. In this paper, we introduce a concurrency model that comprises concurrent events, concurrency blocks, and global states. The model is attractive in that it is simple and yet allows for the definition and calc

Constraint Satisfaction in Distributed C
Constraint Satisfaction in Distributed Concurrent Logic Programming
โœ HO-FUNG LEUNG; KEITH L. CLARK ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 602 KB

In constraint logic programming, unification is replaced by more general constraint satisfaction. To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the 'ask'-constraints with respect to the current c