176 search results - page 36 / 36 » A semantic measure of the execution time in linear logic |
CACM
1999
13 years 4 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...