1742 search results - page 11 / 349 » An Applicative Module Calculus |
MMAS
2010
Springer
13 years 4 months ago
2010
Springer
APLAS
2003
ACM
14 years 3 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
IJCAI
1993
13 years 11 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
SAC
2005
ACM
14 years 3 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
MIDDLEWARE
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...