Verification of temporal properties of processes in a setting with data (1999)

by J F Groote, R Mateescu
Venue:In Proc. of AMAST, LNCS 1548