Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.
Peter SewellPublished in: ICALP (1998)
Keyphrases
- distributed systems
- globally distributed
- probabilistic inference
- global knowledge
- distributed environment
- fully distributed
- inference process
- data sets
- remote sites
- lightweight
- bayesian networks
- database
- dynamic bayesian networks
- loosely coupled
- multidatabase systems
- global information
- fault tolerant
- federated databases