Login / Signup
Branching time and abstraction in bisimulation semantics
Rob van Glabbeek
Peter Weijland
Published in:
Forschungsberichte, TU Munich (1990)
Keyphrases
</>
epistemic logic
high level
formal semantics
model checking
conceptual graphs
argumentation semantics
reasoning tasks
database
temporal reasoning
semantic information
logic programming
modal logic
default reasoning
transformation rules
data abstraction
data model
proof theory
artificial intelligence