Decomposition of functionality: a correctness-preserving LOTOS transformation

Romanus Langerak

doi:10.5555/645833.670255

Decomposition of functionality: a correctness-preserving LOTOS transformation

Romanus Langerak

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
Editors	Luigi Logrippo, Robert L. Probert, Hasan Ural
Place of Publication	Amsterdam
Publisher	Association for Computing Machinery
Pages	229-242
Number of pages	14
ISBN (Print)	978-0-444-88810-5
DOIs	https://doi.org/10.5555/645833.670255
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

Access to Document

10.5555/645833.670255

1 Report

Decomposition of functionality: a correctness-preserving LOTOS transformation
Langerak, R., 1990, Enschede: University of Twente. 14 p. (Memoranda informatica; no. 90-27)
Research output: Book/Report › Report › Professional

Cite this

@inproceedings{8df1d1abc16c482d85bba181df85319b,

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

author = "Romanus Langerak",

year = "1990",

month = jun,

day = "12",

doi = "10.5555/645833.670255",

language = "English",

isbn = "978-0-444-88810-5",

pages = "229--242",

editor = "Luigi Logrippo and Probert, \{Robert L.\} and Hasan Ural",

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

publisher = "Association for Computing Machinery",

address = "United States",

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 L Logrippo, RL Probert & H Ural (eds), 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. https://doi.org/10.5555/645833.670255

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. ed. / Luigi Logrippo; Robert L. Probert; Hasan Ural. 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

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

AU - Langerak, Romanus

N1 - Conference code: 10

PY - 1990/6/12

Y1 - 1990/6/12

U2 - 10.5555/645833.670255

DO - 10.5555/645833.670255

M3 - Conference contribution

SN - 978-0-444-88810-5

SP - 229

EP - 242

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

A2 - Logrippo, Luigi

A2 - Probert, Robert L.

A2 - Ural, Hasan

PB - Association for Computing Machinery

CY - Amsterdam

Y2 - 12 June 1990 through 15 June 1990

ER -