Download or read book Verification of Temporal Properties of Processes in a Setting with Data written by Jan Friso Groote and published by . This book was released on 1998 with total page 18 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "We define a value-based modal [mu]-calculus, built from first-order formulas, modalities, and fixed point operators parameterized by data variables, which allows to express temporal properties involving data. We interpret this logic over [mu]CRL terms defined by linear process equations. The satisfaction of a temporal formula by a [mu]CRL term is translated to the satisfaction of a first-order formula containing parameterized fixed point operators. We provide proof rules for these fixed point operators and show their applicability on various examples."