Refinement in Interworkings

S. Mauw; M.A. Reniers

doi:10.1007/3-540-61604-7_83

Refinement in Interworkings

S. Mauw
, M.A. Reniers

Mathematics and Computer Science

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

8 Citations (Scopus)

Original language	English
Title of host publication	CONCUR'96 (Proceedings 7th International Conference on Concurrency Theory, Pisa, Italy, August 26-29, 1996)
Editors	U. Montanari, V. Sassone
Place of Publication	Berlin
Publisher	Springer
Pages	671-686
ISBN (Print)	3-540-61604-7
DOIs	https://doi.org/10.1007/3-540-61604-7_83
Publication status	Published - 1996

Publication series

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

Access to Document

10.1007/3-540-61604-7_83

Cite this

@inproceedings{47653d72a9d149f88c84a225fa79d5f9,

title = "Refinement in Interworkings",

author = "S. Mauw and M.A. Reniers",

year = "1996",

doi = "10.1007/3-540-61604-7\_83",

language = "English",

isbn = "3-540-61604-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "671--686",

editor = "U. Montanari and V. Sassone",

booktitle = "CONCUR'96 (Proceedings 7th International Conference on Concurrency Theory, Pisa, Italy, August 26-29, 1996)",

address = "Germany",

}

Refinement in Interworkings. / Mauw, S.; Reniers, M.A.
CONCUR'96 (Proceedings 7th International Conference on Concurrency Theory, Pisa, Italy, August 26-29, 1996). ed. / U. Montanari; V. Sassone. Berlin: Springer, 1996. p. 671-686 (Lecture Notes in Computer Science; Vol. 1119).

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

TY - GEN

T1 - Refinement in Interworkings

AU - Mauw, S.

AU - Reniers, M.A.

PY - 1996

Y1 - 1996

U2 - 10.1007/3-540-61604-7_83

DO - 10.1007/3-540-61604-7_83

M3 - Conference contribution

SN - 3-540-61604-7

T3 - Lecture Notes in Computer Science

SP - 671

EP - 686

BT - CONCUR'96 (Proceedings 7th International Conference on Concurrency Theory, Pisa, Italy, August 26-29, 1996)

A2 - Montanari, U.

A2 - Sassone, V.

PB - Springer

CY - Berlin

ER -