Ready Simulation for Concurrency: It's Logical!

Gerald Lüttgen Walter Vogler

Published in: ICALP (2007)

Keyphrases

simulation model
data sets
simulation models
databases
social networks
information systems
e learning
knowledge base
website
database systems
image sequences
video sequences
numerical simulations
logical properties