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

E. Diepstraten; R. Kuiper

doi:10.1007/3-540-52559-9_66

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

E. Diepstraten, R. Kuiper

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)
Editors	J.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Place of Publication	Berlin
Publisher	Springer
Pages	208-238
Number of pages	31
ISBN (Print)	3-540-52559-9
DOIs	https://doi.org/10.1007/3-540-52559-9_66
Publication status	Published - 1990

Publication series

Name	Lecture Notes in Computer Science
Volume	430
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-52559-9_66

Cite this

Diepstraten, E., & Kuiper, R. (1990). Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings: extended abstract. In J. W. Bakker, de, W. P. Roever, de, & G. Rozenberg (Eds.), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989) (pp. 208-238). (Lecture Notes in Computer Science; Vol. 430). Springer. https://doi.org/10.1007/3-540-52559-9_66

Diepstraten, E. ; Kuiper, R. / Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings : extended abstract. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). editor / J.W. Bakker, de ; W.P. Roever, de ; G. Rozenberg. Berlin : Springer, 1990. pp. 208-238 (Lecture Notes in Computer Science).

@inproceedings{28d719c023d644f283329bfa06bb6f66,

title = "Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings: extended abstract",

author = "E. Diepstraten and R. Kuiper",

year = "1990",

doi = "10.1007/3-540-52559-9_66",

language = "English",

isbn = "3-540-52559-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "208--238",

editor = "{Bakker, de}, J.W. and {Roever, de}, W.P. and G. Rozenberg",

booktitle = "Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)",

}

Diepstraten, E & Kuiper, R 1990, Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings: extended abstract. in JW Bakker, de, WP Roever, de & G Rozenberg (eds), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). Lecture Notes in Computer Science, vol. 430, Springer, Berlin, pp. 208-238. https://doi.org/10.1007/3-540-52559-9_66

Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings: extended abstract. / Diepstraten, E.; Kuiper, R.
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). ed. / J.W. Bakker, de; W.P. Roever, de; G. Rozenberg. Berlin: Springer, 1990. p. 208-238 (Lecture Notes in Computer Science; Vol. 430).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

T2 - extended abstract

AU - Diepstraten, E.

AU - Kuiper, R.

PY - 1990

Y1 - 1990

U2 - 10.1007/3-540-52559-9_66

DO - 10.1007/3-540-52559-9_66

M3 - Conference contribution

SN - 3-540-52559-9

T3 - Lecture Notes in Computer Science

SP - 208

EP - 238

BT - Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)

A2 - Bakker, de, J.W.

A2 - Roever, de, W.P.

A2 - Rozenberg, G.

PB - Springer

CY - Berlin

ER -

Diepstraten E, Kuiper R. Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings: extended abstract. In Bakker, de JW, Roever, de WP, Rozenberg G, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). Berlin: Springer. 1990. p. 208-238. (Lecture Notes in Computer Science). doi: 10.1007/3-540-52559-9_66