3279
|
1 |
<HTML><HEAD><TITLE>HOLCF/IOA/README</TITLE></HEAD><BODY>
|
3071
|
2 |
|
|
3 |
<H3>IOA: A formalization of I/O automata in HOLCF</H3>
|
|
4 |
|
3279
|
5 |
Author: Olaf Müller<BR>
|
3071
|
6 |
Copyright 1997 Technische Universität München<P>
|
|
7 |
|
5843
|
8 |
The distribution contains simulation relations, temporal logic, and an abstraction theory.
|
|
9 |
Everything is based upon a domain-theoretic model of finite and infinite sequences.
|
|
10 |
<p>
|
5844
|
11 |
For details see the <A HREF="http://www4.informatik.tu-muenchen.de/~isabelle/IOA/">IOA project</a>.
|
3071
|
12 |
|
|
13 |
</BODY></HTML>
|
|
14 |
|
|
15 |
|