Diagram Techniques for Confluence.

Marc Bezem Jan Willem Klop Vincent van Oostrom

Published in: Inf. Comput. (1998)

Keyphrases

uml activity diagrams
rewrite systems
diagrammatic reasoning
database
databases
data mining
state transition
symbolic reasoning