3333 search results - page 188 / 667 » Abstract Proof Search |
137
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
127
Voted
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
139
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
118
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
140
click to vote
WDAG
1993
Springer
15 years 8 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...