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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

6 Citaten (Scopus)

Originele taal-2	Engels
Titel	Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)
Redacteuren	J.W. Bakker, de, W.P. Roever, de, G. Rozenberg
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	208-238
Aantal pagina's	31
ISBN van geprinte versie	3-540-52559-9
DOI's	https://doi.org/10.1007/3-540-52559-9_66
Status	Gepubliceerd - 1990

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	430
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/3-540-52559-9_66

Citeer dit

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 (editors), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989) (blz. 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). redacteur / J.W. Bakker, de ; W.P. Roever, de ; G. Rozenberg. Berlin : Springer, 1990. blz. 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)",

address = "Germany",

}

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 (uitgave), 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, blz. 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). uitgave / J.W. Bakker, de; W.P. Roever, de; G. Rozenberg. Berlin: Springer, 1990. blz. 208-238 (Lecture Notes in Computer Science; Vol. 430).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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, redacteurs, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). Berlin: Springer. 1990. blz. 208-238. (Lecture Notes in Computer Science). doi: 10.1007/3-540-52559-9_66