Re: [Fresco-devel] [ReFresco 03] Proposed network architecture overview

This is a MIME-formatted message.  If you see this text it means that your
E-mail software does not support MIME-formatted messages.

--=_heaven-26380-1074540451-0001-2
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

C Y <[email protected]> wrote:
> http://freedesktop.org/Software/xcb/usenix-zxcb.pdf

That paper is an interessting read, thanks for pointing it out! I have
to admit that I am lost with the Z syntax and all, but I think I got
the drift:-)

Unfortunately I can't find any "Learning Z" material on the net, so I
doubt that we will end up using Z much. We do use UML with its various
diagrams and other state diagrams at times, even if those tend not
to get published on the website;-)

PS: Maybe you got some material on learning Z or maybe you want to help
    improving the design with formal proofs?

--=20
Gruss,
Tobias

------------------------------------------------------------
Tobias Hunger           The box said: 'Windows 95 or better'
[email protected]                      So I installed Linux.
------------------------------------------------------------

--=_heaven-26380-1074540451-0001-2
Content-Type: application/pgp-signature; name="signature.asc"
Content-Transfer-Encoding: 7bit
Content-Description: Digital signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFADC5Fv0FZW3NyoqURAoAGAJ98XgH55uT2Vc1xYbWxTKIxNCrSzQCgmTdi
xMQrbXAMskNgv41nW+oS3ME=
=2RmA
-----END PGP SIGNATURE-----

--=_heaven-26380-1074540451-0001-2--