isabelle: src/HOLCF/IOA/README.html@bc9e5587d05a (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>
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

author	paulson
	Wed, 07 Apr 2004 14:25:48 +0200
changeset 14527	bc9e5587d05a
parent 5844	2886310fb5e9
child 15283	f21466450330
permissions	-rw-r--r--