Incremental Specification with Joint-Actions: The RPC-Memory Specification Problem

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

Translated title of the contribution	Incremental Specification with Joint-Actions: The RPC-Memory Specification Problem
Original language	English
Title of host publication	Formal Systems Specification, The RPC-Memory Specification case. Lecture Notes in Computer Science
Editors	M. Broy, S. Merz, K. Spies
Place of Publication	Berlin
Publisher	Springer-Verlag
Pages	375-404
Publication status	Published - 1996
Publication type	A3 Book chapter

Publication forum classification

@inbook{7cd97ddc64a042399d54762415f5b70f,

title = "Incremental Specification with Joint-Actions: The RPC-Memory Specification Problem",

author = "R. Kurki-Suonio",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1996",

language = "English",

pages = "375--404",

editor = "M. Broy and S. Merz and K. Spies",

booktitle = "Formal Systems Specification, The RPC-Memory Specification case. Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

}

Incremental Specification with Joint-Actions: The RPC-Memory Specification Problem. / Kurki-Suonio, R.
Formal Systems Specification, The RPC-Memory Specification case. Lecture Notes in Computer Science. ed. / M. Broy; S. Merz; K. Spies. Berlin: Springer-Verlag, 1996. p. 375-404.

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

TY - CHAP

T1 - Incremental Specification with Joint-Actions: The RPC-Memory Specification Problem

AU - Kurki-Suonio, R.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1996

Y1 - 1996

M3 - Chapter

SP - 375

EP - 404

BT - Formal Systems Specification, The RPC-Memory Specification case. Lecture Notes in Computer Science

A2 - Broy, M.

A2 - Merz, S.

A2 - Spies, K.

PB - Springer-Verlag

CY - Berlin

ER -