22 search results - page 2 / 5 » icalp 1998 |
ICALP
1998
Springer
13 years 10 months ago
1998
Springer
ICALP
1998
Springer
13 years 10 months ago
1998
Springer
ICALP
1998
Springer
13 years 10 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
ICALP
1998
Springer
13 years 10 months ago
1998
Springer
It is well known that the performance of quicksort can be improved by selecting the median of a sample of elements as the pivot of each partitioning stage. For large samples the pa...
ICALP
1998
Springer
13 years 10 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...