A unified theory of program logics : An approach based on the pi-calculus /

Salvato in:

Dettagli Bibliografici
Autore principale:	Honda, Kohei.
Altri autori:	Yoshida, Nobuko.
Natura:	Articolo
Lingua:	English
Soggetti:	Hennessy-Milner Hoare logics Logical full abstraction Relay-guarantee logic The pi-calculus
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Lascia un commento!

Documenti analoghi