ICALP
1998
Springer
14 years 3 months ago
1998
Springer
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
ICALP
1998
Springer
14 years 3 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...
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
Interval Routing Schemes (IRS for short) have been extensively investigated in the past years with special emphasis on shortest paths. Besides their theoretical interest, IRS have...
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
We investigate the problem of finding two nonempty disjoint subsets of a set of n positive integers, with the objective that the sums of the numbers in the two subsets be as close ...
ICALP
1998
Springer
14 years 3 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...