2529 search results - page 305 / 506 » The Logical Structure of Binding |
167
click to vote
FCT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
199
click to vote
FMICS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
191
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
174
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
145
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...