A Compositional µ-Calculus Proof System for Statecharts Processes.

Published in: Theor. Comput. Sci. (1999)

Keyphrases

model checker
knowledge representation
sequent calculus
intermediate level
data sets
model checking
temporal logic
communication channels
agent oriented
cut elimination
linear time temporal logic