Compositionality and modularity in process specification and design : a trace-state based approach

J. Zwiers, W.P. Roever, de

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

1 Citaat (Scopus)

Originele taal-2	Engels
Titel	Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987)
Redacteuren	B. Banieqbal, H. Barringer, A. Pnueli
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	351-374
ISBN van geprinte versie	3-540-51803-7
DOI's	https://doi.org/10.1007/3-540-51803-7_34
Status	Gepubliceerd - 1989

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

Toegang tot document

Zwiers, J., & Roever, de, W. P. (1989). Compositionality and modularity in process specification and design : a trace-state based approach. In B. Banieqbal, H. Barringer, & A. Pnueli (editors), Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987) (blz. 351-374). (Lecture Notes in Computer Science; Vol. 398). Springer. https://doi.org/10.1007/3-540-51803-7_34

@inproceedings{fba35086020c4010ba814d0e1b771433,

title = "Compositionality and modularity in process specification and design : a trace-state based approach",

author = "J. Zwiers and {Roever, de}, W.P.",

year = "1989",

doi = "10.1007/3-540-51803-7_34",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "351--374",

editor = "B. Banieqbal and H. Barringer and A. Pnueli",

booktitle = "Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987)",

address = "Germany",

}

Compositionality and modularity in process specification and design : a trace-state based approach. / Zwiers, J.; Roever, de, W.P.
Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987). redactie / B. Banieqbal; H. Barringer; A. Pnueli. Berlin: Springer, 1989. blz. 351-374 (Lecture Notes in Computer Science; Vol. 398).

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

TY - GEN

T1 - Compositionality and modularity in process specification and design : a trace-state based approach

AU - Zwiers, J.

AU - Roever, de, W.P.

PY - 1989

Y1 - 1989

U2 - 10.1007/3-540-51803-7_34

DO - 10.1007/3-540-51803-7_34

M3 - Conference contribution

SN - 3-540-51803-7

T3 - Lecture Notes in Computer Science

SP - 351

EP - 374

BT - Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987)

A2 - Banieqbal, B.

A2 - Barringer, H.

A2 - Pnueli, A.

PB - Springer

CY - Berlin

ER -