3239 search results - page 300 / 648 » A Logical Process Calculus |
164
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
134
click to vote
IJCAI
2001
15 years 6 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
158
click to vote
PDSE
1998
15 years 6 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
169
click to vote
DBSEC
1996
15 years 6 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
131
click to vote
ENTCS
2008
15 years 4 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...