Time-parallel multi-delay logic simulation.

Peter M. Maurer

Published in: SpringSim (TMS-DEVS) (2016)

Keyphrases

simulation model
asynchronous cellular automata
modal logic
computer architecture
computational properties
parallel implementation
massively parallel
simulation environment
probability theory
classical logic
defeasible logic
queuing systems