Deadlock Behaviour in Split and ST Bisimulation Semantics.

Jos C. M. Baeten Jan A. Bergstra

Published in: EXPRESS (1998)

Keyphrases

formal semantics
operational semantics
conceptual graphs
website
search algorithm
logic programming
semantic information
data exchange
schema mappings
binary relations
transformation rules
model theoretic
intended meaning