| author | huffman |
| Sat, 27 Nov 2010 16:08:10 -0800 | |
| changeset 41022 | 0437dbc127b3 |
| parent 35174 | src/HOLCF/IOA/README.html@e15040ae75d7 |
| permissions | -rw-r--r-- |
| webertj@15283 | 1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
| webertj@15283 | 2 |
|
| webertj@15582 | 3 |
<HTML> |
| webertj@15582 | 4 |
|
| webertj@15582 | 5 |
<HEAD> |
| webertj@15582 | 6 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
| webertj@15582 | 7 |
<TITLE>HOLCF/IOA/README</TITLE> |
| webertj@15582 | 8 |
</HEAD> |
| webertj@15582 | 9 |
|
| webertj@15582 | 10 |
<BODY> |
| mueller@3071 | 11 |
|
| mueller@3071 | 12 |
<H3>IOA: A formalization of I/O automata in HOLCF</H3> |
| mueller@3071 | 13 |
|
| wenzelm@3279 | 14 |
Author: Olaf Müller<BR> |
| mueller@3071 | 15 |
Copyright 1997 Technische Universität München<P> |
| mueller@3071 | 16 |
|
| mueller@5843 | 17 |
The distribution contains simulation relations, temporal logic, and an abstraction theory. |
| mueller@5843 | 18 |
Everything is based upon a domain-theoretic model of finite and infinite sequences. |
| mueller@5843 | 19 |
<p> |
| mueller@5844 | 20 |
For details see the <A HREF="http://www4.informatik.tu-muenchen.de/~isabelle/IOA/">IOA project</a>. |
| mueller@3071 | 21 |
|
| mueller@3071 | 22 |
</BODY></HTML> |
| mueller@3071 | 23 |
|
| mueller@3071 | 24 |