Date: Wed 16 Oct
Time: 15.00
Place: room 214

Speaker: E. Astesiano, G. Reggio
Title: Rewriting Logic vs Labelled Transition Logic

Abstract. 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.