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

J. Zwiers, W.P. Roever, de

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

1 Citation (Scopus)

Original language	English
Title of host publication	Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987)
Editors	B. Banieqbal, H. Barringer, A. Pnueli
Place of Publication	Berlin
Publisher	Springer
Pages	351-374
ISBN (Print)	3-540-51803-7
DOIs	https://doi.org/10.1007/3-540-51803-7_34
Publication status	Published - 1989

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

Access to 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 (Eds.), Temporal Logic in Specification (Altrincham, UK, April 8-10, 1987) (pp. 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). ed. / B. Banieqbal; H. Barringer; A. Pnueli. Berlin: Springer, 1989. p. 351-374 (Lecture Notes in Computer Science; Vol. 398).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 -