A proof system for Brinch Hansen's distributed processes

DSpace/Manakin Repository

Roncken, M.; de Roever, W-P

(1981) Utrecht University Repository

(Report)

Download/Full Text

other

Keywords: Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client

ISBN: 0924-3275

Publisher: Unknown Publisher

See more statistics about this item