Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.

Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt

Browse the full TAP paper archive.