162 search results - page 6 / 33 » An Abstract Machine for a Higher-Order Distributed Process C... |
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...
118
click to vote
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...