Traces of I/O-Automata in Isabelle/HOLCF (1997)
Cached
Download Links
by
Olaf Müller
,
Tobias Nipkow
| Venue: | TAPSOFT'97: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, VOLUME 1214 OF LNCS |
| Citations: | 14 - 5 self |
BibTeX
@INPROCEEDINGS{Müller97tracesof,
author = {Olaf Müller and Tobias Nipkow},
title = {Traces of I/O-Automata in Isabelle/HOLCF},
booktitle = {TAPSOFT'97: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, VOLUME 1214 OF LNCS},
year = {1997},
pages = {580--594},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents a formalization of finite and infinite sequences in domain theory carried out in the theorem prover Isabelle. The results
