A modal mu-calculus and a proof system for value passing processes.

Dilian Gurov Sergey Berezin Bruce M. Kapron

Published in: INFINITY (1996)

Keyphrases

modal logic
sequent calculus
development environment
linear time temporal logic
proof search
transition systems
data model
stochastic processes