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

E. Diepstraten, R. Kuiper

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publicationStepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)
EditorsJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Place of PublicationBerlin
PublisherSpringer
Pages208-238
ISBN (Print)3-540-52559-9
DOIs
Publication statusPublished - 1990

Publication series

NameLecture Notes in Computer Science
Volume430
ISSN (Print)0302-9743

Cite this