Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek W. P. Weijland

Published in: IFIP Congress (1989)

Keyphrases

extended abstract
epistemic logic
model checking
temporal logic
logic programming
modal logic
specification language
metadata
search algorithm
semantic information
temporal reasoning
multi agent systems
qualitative and quantitative
logical framework
data abstraction