5255 search results - page 394 / 1051 » Formal Methods for Privacy |
149
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
144
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
170
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
144
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
149
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...