A proof system for process creation

P.H.M. America; F.S. Boer, de

A proof system for process creation

P.H.M. America
, F.S. Boer, de

Mathematics and Computer Science

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

Original language	English
Title of host publication	Programming Concepts and Methods (Proceedings IFIP WG 2.2/2.3 Working Conference, Sea of Gallilee, Israel, April 2-5, 1990)
Editors	M. Broy, C.B. Jones
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	303-332
ISBN (Print)	0-444-88545-5
Publication status	Published - 1990

Cite this

@inproceedings{894a868721e94e38afdc3bef3d743fba,

title = "A proof system for process creation",

author = "P.H.M. America and \{Boer, de\}, F.S.",

year = "1990",

language = "English",

isbn = "0-444-88545-5",

pages = "303--332",

editor = "M. Broy and C.B. Jones",

booktitle = "Programming Concepts and Methods (Proceedings IFIP WG 2.2/2.3 Working Conference, Sea of Gallilee, Israel, April 2-5, 1990)",

publisher = "North-Holland Publishing Company",

address = "Netherlands",

}

A proof system for process creation. / America, P.H.M.; Boer, de, F.S.
Programming Concepts and Methods (Proceedings IFIP WG 2.2/2.3 Working Conference, Sea of Gallilee, Israel, April 2-5, 1990). ed. / M. Broy; C.B. Jones. Amsterdam: North-Holland Publishing Company, 1990. p. 303-332.

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

TY - GEN

T1 - A proof system for process creation

AU - America, P.H.M.

AU - Boer, de, F.S.

PY - 1990

Y1 - 1990

M3 - Conference contribution

SN - 0-444-88545-5

SP - 303

EP - 332

BT - Programming Concepts and Methods (Proceedings IFIP WG 2.2/2.3 Working Conference, Sea of Gallilee, Israel, April 2-5, 1990)

A2 - Broy, M.

A2 - Jones, C.B.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -