Branching Time and Abstraction in Bisimulation Semantics.

Rob J. van Glabbeek W. P. Weijland

Published in: J. ACM (1996)

Keyphrases

epistemic logic
logic programming
formal semantics
temporal reasoning
high level
temporal logic
data abstraction
proof theory
artificial intelligence
semantic information
model checking