1894 search results - page 207 / 379 » A TLA Proof System |
118
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
119
click to vote
FCT
2003
Springer
15 years 9 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
141
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
130
click to vote
STACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
111
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...