Temporal logics for CCS.

Published in: REX Workshop (1988)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
satisfiability problem
modal logic
concurrent systems
predicate logic
temporal knowledge
belief revision
expert systems
transition systems
distributed systems
verification method