15779 search results - page 2495 / 3156 » Change-oriented software engineering |
181
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
163
Voted
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
161
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
111
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
TPTL and MTL are two classical timed extensions of LTL. In this paper, we positively answer a 15-year-old conjecture that TPTL is strictly more expressive than MTL. But we show tha...
144
Voted
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Two trees with the same number of leaves have to be embedded in two layers in the plane such that the leaves are aligned in two adjacent layers. Additional matching edges...