IFIP
1998
Springer
13 years 12 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
IFIP
1998
Springer
13 years 12 months ago
1998
Springer
IFIP
1998
Springer
13 years 12 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
ICALP
1998
Springer
13 years 12 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 12 months ago
1998
Springer
ICALP
1998
Springer
13 years 12 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
ICALP
1998
Springer
13 years 12 months ago
1998
Springer
ICALP
1998
Springer
13 years 12 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 12 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
ICALP
1998
Springer
13 years 12 months ago
1998
Springer