Model-checking processes with data (0)

by J F Groote, T A C Willemse
Venue:Science of Computer Programming