8
Simultaneous Fixpoints
Given
F
= (
f
1
(R
1
, , R
k
,
x
1
), ,
f
k
(R
1
, , R
k
,
x
k
))
F
F
lfp
R
i
simult
[
F
](t) ,
ifp
R
i
simult
[
F
](t) ,
pfp
R
i
simult
[
F
](t)
F
Mean the following:
compute the lfp/ifp/pfp
extract the ith component (since index is R
i
)