On Distributed Logic Simulation Using Time Warp.

Herbert Bauer Christian Sporrer Thomas H. Krodel

Published in: VLSI (1991)

Keyphrases

distributed systems
lightweight
logic programming
simulation study
multi agent
computer networks
mathematical models
database
information systems
fault tolerant
simulation model
computing environments
communication cost
simulation models
predicate logic
distributed network