A logic for distributed transition systems.

Kamal Lodaya Ramaswamy Ramanujam P. S. Thiagarajan

Published in: REX Workshop (1988)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
distributed systems
finite state
practical reasoning
control flow
modal logic
markov chain
multi agent
model checker
reverse engineering
formal verification
reactive systems