I'm trying to understand the framework of reactive simulatability using *"PfWa2_00AsyncModel"* from this publication which is a tech report behind the paper A model for Asynchronous Reactive Systems and its Applications to Secure Message Transmission by Pfitzmann and Waidner.

I'm troubled with the remark 2.7 on page 6. Can anybody comment, why the configuration $conf_{1s}$ is in $Conf^f(Sys_1)$ if the port $p$ is not a port of $M_1$?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.