359 search results - page 25 / 72 » Abstract Patterns of Compositional Reasoning |
134
click to vote
ERLANG
2003
ACM
15 years 7 months 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...
119
click to vote
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
CIA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
152
click to vote
MFCS
1994
Springer
15 years 6 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
114
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...