|
3220
|
1 |
<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
|
|
|
2 |
|
|
|
3 |
<H3>IOA: A basic formalization of I/O automata in HOL</H3>
|
|
|
4 |
|
|
|
5 |
Author: Konrad Slind and Tobias Nipkow<BR>
|
|
|
6 |
Copyright 1995 Technische Universität München<P>
|
|
|
7 |
|
|
|
8 |
This directory contains a formalization of the meta theory of I/O automata in HOL.
|
|
|
9 |
This formalization has been significantly changed and extended. The new version is available in the subdirectory HOLCF/IOA. There are also the proofs of two communication protocols which formerly
|
|
|
10 |
have been here.
|
|
|
11 |
|
|
|
12 |
|
|
|
13 |
</BODY></HTML>
|
|
|
14 |
|
|
|
15 |
|
|
|
16 |
|