GCSE
2000
Springer
13 years 11 months ago
2000
Springer
It is well known that modifying software by hand, especially someone else's, is not only slow and tedious but so notoriously error-prone that we strive for components that ne...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we investigate some properties and algorithms related to a text sparsification technique based on the identification of local maxima in the given string. As the numb...