Decomposition of functionality: a correctness-preserving LOTOS transformation

Romanus Langerak

Decomposition of functionality: a correctness-preserving LOTOS transformation

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

Original language	English
Title of host publication	Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Place of Publication	Amsterdam
Publisher	Association for Computing Machinery
Pages	229-242
Number of pages	14
ISBN (Print)	0-444-88810-1
Publication status	Published - 12 Jun 1990
Event	IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990 - Ottawa, Canada Duration: 12 Jun 1990 → 15 Jun 1990 Conference number: 10

Conference

Conference	IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
Abbreviated title	PSTV 1990
Country/Territory	Canada
City	Ottawa
Period	12/06/90 → 15/06/90

Keywords

METIS-119510

Cite this

@inproceedings{8df1d1abc16c482d85bba181df85319b,

title = "Decomposition of functionality: a correctness-preserving LOTOS transformation",

keywords = "METIS-119510",

author = "Romanus Langerak",

year = "1990",

month = jun,

day = "12",

language = "English",

isbn = "0-444-88810-1",

pages = "229--242",

booktitle = "Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X",

publisher = "Association for Computing Machinery",

note = "IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, PSTV 1990 ; Conference date: 12-06-1990 Through 15-06-1990",

}

Langerak, R 1990, Decomposition of functionality: a correctness-preserving LOTOS transformation. in Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X. Association for Computing Machinery, Amsterdam, pp. 229-242, IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, Ottawa, Ontario, Canada, 12/06/90.

Decomposition of functionality: a correctness-preserving LOTOS transformation. / Langerak, Romanus.
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X. Amsterdam: Association for Computing Machinery, 1990. p. 229-242.

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

TY - GEN

T1 - Decomposition of functionality: a correctness-preserving LOTOS transformation

AU - Langerak, Romanus

N1 - Conference code: 10

PY - 1990/6/12

Y1 - 1990/6/12

KW - METIS-119510

M3 - Conference contribution

SN - 0-444-88810-1

SP - 229

EP - 242

BT - Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X

PB - Association for Computing Machinery

CY - Amsterdam

T2 - IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990

Y2 - 12 June 1990 through 15 June 1990

ER -