Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings

E. Diepstraten, R. Kuiper

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
Originele taal-2Engels
TitelStepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)
RedacteurenJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Plaats van productieBerlin
UitgeverijSpringer
Pagina's208-238
ISBN van geprinte versie3-540-52559-9
DOI's
StatusGepubliceerd - 1990

Publicatie series

NaamLecture Notes in Computer Science
Volume430
ISSN van geprinte versie0302-9743

Citeer dit