22 search results - page 2 / 5 » icalp 1998 |
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
ICALP
1998
Springer
13 years 9 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 9 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 9 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...