1894 search results - page 163 / 379 » A TLA Proof System |
147
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
175
click to vote
QEST
2006
IEEE
16 years 13 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
164
click to vote
TPHOL
2005
IEEE
16 years 11 hour ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
189
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
154
click to vote
COCO
2004
Springer
15 years 12 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...