37 search results - page 8 / 8 » Termination in Impure Concurrent Languages |
ICDCS
1995
IEEE
13 years 8 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
USENIX
1994
13 years 6 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...