[Iris-Club] Comparison of Iris and FCSL

[Dan Frumin]

Gregory, this is a very good question. 
I tried to look into it myself and went as far as opening a Firefox tab with the FCSL paper. That was a couple of months ago tho..

> Op 21 dec. 2018 om 18:43 heeft Gregory Malecha <gmalecha at gmail.com> het volgende geschreven:
> 
> Hello --
> 
> Does anyone on the list have a good understanding of FCSL to give a high-level comparison of the systems (and their relative strengths)? When I last looked at FCSL I had the take-away that it built around PCMs which, in my understanding, is similar to Iris, but from a discussion that I had today, it seems there might be some fundamental differences.
> 
> Any thoughts would be appreciated.
> 
> -- 
> gregory malecha
> gmalecha.github.io
> -- 
> iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> Management: https://lists.mpi-sws.org/listinfo/iris-club
> Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20181230/32e14e3d/attachment.html>