Towards A Theory Of Simulation For Verification Of Concurrent Systems.

Ryszard Janicki Maciej Koutny

Published in: PARLE (2) (1989)

Keyphrases

concurrent systems
process algebra
distributed systems
temporal logic
model checking
transition systems
formal specification
petri net
theoretical basis
theoretical framework
mathematical model
formal methods
theoretical foundation
simulation model
mathematical models
model checker
complex systems
database