100 search results - page 3 / 20 » Event-based Composition of Concurrent Programs |
BIRTHDAY
2003
Springer
14 years 8 days ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
SIGSOFT
2000
ACM
13 years 11 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
ERLANG
2003
ACM
14 years 9 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
LMO
2000
13 years 8 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...