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

by J F Groote, R Mateescu
Venue:In Algebraic Methodology and Software Technology, volume 1548 of LNCS