On distributed logic simulation using time warp

Herbert Bauer Christian Sporrer Thomas Krodel

Published in: Forschungsberichte, TU Munich (1992)

Keyphrases

distributed systems
distributed environment
peer to peer
multi valued
cooperative
multi agent
automated reasoning
database
computing environments
simulation model
logic programming
chip design
computer networks
lightweight
data sources
knowledge base
databases