LICS
1996
IEEE
14 years 2 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
LICS
1996
IEEE
14 years 2 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
Given a number of Dempster-Shafer belief functions there are different architectures which allow to do a compilation of the given knowledge. These architectures are the Shenoy-Sha...
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
ECSQARU
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
CSL
1997
Springer
14 years 2 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...