src/HOLCF/IOA/README.html
author mueller
Tue, 10 Nov 1998 16:28:08 +0100
changeset 5844 2886310fb5e9
parent 5843 136a51f95c91
child 15283 f21466450330
permissions -rw-r--r--
tiny changes;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3279
815ef5848324 tuned all READMEs;
wenzelm
parents: 3071
diff changeset
     1
<HTML><HEAD><TITLE>HOLCF/IOA/README</TITLE></HEAD><BODY>
3071
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     2
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     3
<H3>IOA: A formalization of I/O automata in HOLCF</H3>
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     4
3279
815ef5848324 tuned all READMEs;
wenzelm
parents: 3071
diff changeset
     5
Author:     Olaf M&uuml;ller<BR>
3071
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     6
Copyright   1997 Technische Universit&auml;t M&uuml;nchen<P>
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     7
5843
136a51f95c91 changed to a link;
mueller
parents: 5138
diff changeset
     8
The distribution contains simulation relations, temporal logic, and an abstraction theory.
136a51f95c91 changed to a link;
mueller
parents: 5138
diff changeset
     9
Everything is based upon a domain-theoretic model of finite and infinite sequences. 
136a51f95c91 changed to a link;
mueller
parents: 5138
diff changeset
    10
<p>
5844
2886310fb5e9 tiny changes;
mueller
parents: 5843
diff changeset
    11
For details see the <A HREF="http://www4.informatik.tu-muenchen.de/~isabelle/IOA/">IOA project</a>.
3071
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
    12
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
    13
</BODY></HTML>
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
    14
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
    15