[PPL-devel] pre-image operation
Roberto Bagnara
bagnara at cs.unipr.it
Thu Jul 4 08:39:24 CEST 2013
Hello Zhoulai.
On 06/30/13 00:15, Zhoulai wrote:
> Is there any reference publication for PPL's pre-image operation?
> The operation is explained at sect. 1.6.9 of user manual but no
> references is mentioned. I am puzzled how you implemented
> tpre-image?
I am not sure I understand the question. The notion of image
and preimage of a relation are quite standard.
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara at bugseng.com
More information about the PPL-devel
mailing list