| Darwin, Charles Robert 1809-1882. British naturalist who revolutionized the study of biology with his theory of evolution based on natural selection. His most famous works include Origin of Species (1859) and The Descent of Man (1871). Dar·win'i·an adj. & n. |
| Darwin, Erasmus 1731-1802. British physician, scientist, and poet whose Zoonomia (1794-1796) anticipated the evolutionary theories of his grandson Charles. |
Darwin Dar·win (där'wĭn), Charles Robert. 1809-1882.
British naturalist who revolutionized the study of biology with his theory of evolution based on natural selection. His most famous works include Origin of Species (1859) and The Descent of Man (1871).
Darwin
1.
2.
The operational semantics of Darwin is described in terms of the Pi-calculus, Milner's calculus of mobile processes. The correspondence between the treatment of names in the Pi-calculus and the management of service references in Darwin leads to an elegant and concise Pi-calculus model of Darwin's operational semantics. The model has proved useful in arguing the correctness of Darwin implementations and in designing extensions to Darwin and reasoning about their behaviour.
Distributed Software Engineering Section. Darwin publications.
E-mail: Jeff Magee
3. Core War.
(2003-08-08)