15885 search results - page 2442 / 3177 » The Modest Software Engineer |
174
click to vote
FOSSACS
2004
Springer
16 years 26 days ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...
198
click to vote
FSTTCS
2004
Springer
16 years 26 days ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...
189
click to vote
FSTTCS
2004
Springer
16 years 26 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
206
click to vote
FSTTCS
2004
Springer
16 years 26 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
196
click to vote
FSTTCS
2004
Springer
16 years 26 days ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...