4 search results - page 1 / 1 » csl 1997 |
CSL
1997
Springer
13 years 9 months ago
1997
Springer
CSL
1997
Springer
13 years 9 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 ...
CSL
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
IPPS
1997
IEEE
13 years 9 months ago
1997
IEEE
In this paper, we evaluated various distributed mutual exclusion algorithms on the IBM SP2 machine and the Intel iPSC/860 system. The empirical results are compared in terms of su...