1894 search results - page 206 / 379 » A TLA Proof System |
155
click to vote
DFG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
125
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
215
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
172
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
112
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...