isabelle: src/HOLCF/IOA/README.html@136a51f95c91 (annotated)

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üller<BR>
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	6	Copyright 1997 Technische Universität Mü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>
136a51f95c91 changed to a link; mueller parents: 5138 diff changeset	11	For details see <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

author	mueller
	Tue, 10 Nov 1998 16:27:04 +0100
changeset 5843	136a51f95c91
parent 5138	b02dfb930bd9
child 5844	2886310fb5e9
permissions	-rw-r--r--