Behavioural equivalences for dynamic Web data (0)

by Sergio Maffeis, Philippa Gardner
Venue:Journal of Logic and Algebraic Programming