Previous versions of PRISM

[Anuroop Kuppam]

Hello,

How do I obtain the version 2.0 of prism. It is listed in CHANGELOG as being released in 2004. 

Thanks,

Anuroop

[Dave Parker]

Hi Anuroop,

I can try and dig out a copy, but it may not even compile now.

Can I ask what you want it for?

Best wishes,

Dave.

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To post to this group, send email to prismmod...@googlegroups.com
> <mailto:prismmod...@googlegroups.com>.
> Visit this group at http://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

[Anuroop Kuppam]

Thanks Dave,

Nagarajan et al analysed BB84 protocol using PRISM. 

I am trying to emulate the results obtained by them. I have the modules they used back in 2004.

The module seems to perfectly all right on paper, but it is giving some vague results during simulation.

Are there any significant changes from 2004 that might have caused this trouble now?

I do admit that I started with PRISM only a week ago and I am having significant problems understanding synchronization across modules. 

I will be greatly indebted for any help albeit small, to rid my confusion.

 

Thanks,

Anuroop    

[Anuroop Kuppam]

Hello Dave,

If its possible, could you dig out that old copy of PRISM.

Thanks for your help.

Regards,

Anuroop

On Friday, April 10, 2015 at 8:22:50 PM UTC+5:30, Dave Parker wrote:

Hi Anuroop,

I can try and dig out a copy, but it may not even compile now.

Can I ask what you want it for?

Best wishes,

Dave.

On 10/04/2015 15:42, Anuroop Kuppam wrote:
> Hello,
>
> How do I obtain the version 2.0 of prism. It is listed in CHANGELOG as
> being released in 2004.
>
> Thanks,
> Anuroop
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com

> <mailto:prismmodelchecker+unsub...@googlegroups.com>.

[Dave Parker]

I found it. I'll email it to you.

It will probably be more helpful to you if you post the issue you are
having with the BB84 model.

Best wishes,

Dave.

On 12/04/2015 19:34, Anuroop Kuppam wrote:
> Hello Dave,
>
> If its possible, could you dig out that old copy of PRISM.
>
> Thanks for your help.
>
> Regards,
> Anuroop
>
> On Friday, April 10, 2015 at 8:22:50 PM UTC+5:30, Dave Parker wrote:
>
> Hi Anuroop,
>
> I can try and dig out a copy, but it may not even compile now.
>
> Can I ask what you want it for?
>
> Best wishes,
>
> Dave.
>
> On 10/04/2015 15:42, Anuroop Kuppam wrote:
> > Hello,
> >
> > How do I obtain the version 2.0 of prism. It is listed in
> CHANGELOG as
> > being released in 2004.
> >
> > Thanks,
> > Anuroop
> >
> > --
> > You received this message because you are subscribed to the Google
> > Groups "PRISM model checker" group.
> > To unsubscribe from this group and stop receiving emails from it,
> send

> > an email to prismmodelchec...@googlegroups.com <javascript:>
> > <mailto:prismmodelchec...@googlegroups.com
> <javascript:>>.

> > To post to this group, send email to prismmod...@googlegroups.com

> <javascript:>
> > <mailto:prismmod...@googlegroups.com <javascript:>>.

> > Visit this group at
> http://groups.google.com/group/prismmodelchecker

> <http://groups.google.com/group/prismmodelchecker>.

> > For more options, visit https://groups.google.com/d/optout

> <https://groups.google.com/d/optout>.

>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com

> <mailto:prismmodelchec...@googlegroups.com>.