Wed 16 Oct
E. Astesiano, G. Reggio
Rewriting Logic vs Labelled Transition Logic
Rewriting Logic and Labelled Transition Logic are two apparently similar
formalisms for the formal description of dynamic/concurrent systems.
A critical analysis is presented which unveils deep conceptual
discrepancies and clarifies their formal relationship.