44651 search results - page 397 / 8931 » Generalized |
168
click to vote
TGC
2005
Springer
16 years 9 days ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
164
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
150
click to vote
WILF
2005
Springer
16 years 9 days ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
