Distributed Lazy Simulation of Digital Logic using PVM.
George CharonitakisDavid JacksonPublished in: PDPTA (2000)
Keyphrases
- distributed systems
- distributed data
- cooperative
- logic programming
- distributed environment
- classical logic
- mathematical model
- modal logic
- simulation models
- distributed network
- multi agent
- communication cost
- fault tolerant
- simulation model
- logical framework
- networked environment
- deontic logic
- neural network
- simulation environment
- mobile agents
- lightweight
- bayesian networks
- database systems
- knowledge base