A general conservative extension theorem in process algebra

C. Verhoef

A general conservative extension theorem in process algebra

C. Verhoef

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

Abstract

Abstract in text

Original language	English
Title of host publication	Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994)
Editors	E.R. Olderog
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	149-168
ISBN (Print)	0-444-82020-5
Publication status	Published - 1994

Publication series

Name	IFIP Transactions A : Computer science and technology
Volume	56
ISSN (Print)	0926-5473

Cite this

Verhoef, C. (1994). A general conservative extension theorem in process algebra. In E. R. Olderog (Ed.), Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994) (pp. 149-168). (IFIP Transactions A : Computer science and technology; Vol. 56). North-Holland Publishing Company.

Verhoef, C. / A general conservative extension theorem in process algebra. Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994). editor / E.R. Olderog. Amsterdam : North-Holland Publishing Company, 1994. pp. 149-168 (IFIP Transactions A : Computer science and technology).

@inproceedings{9ad7a1e139554bbcba27eabf5ecf5b18,

title = "A general conservative extension theorem in process algebra",

abstract = "Abstract in text",

author = "C. Verhoef",

year = "1994",

language = "English",

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

series = "IFIP Transactions A : Computer science and technology",

publisher = "North-Holland Publishing Company",

pages = "149--168",

editor = "E.R. Olderog",

booktitle = "Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994)",

address = "Netherlands",

}

Verhoef, C 1994, A general conservative extension theorem in process algebra. in ER Olderog (ed.), Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994). IFIP Transactions A : Computer science and technology, vol. 56, North-Holland Publishing Company, Amsterdam, pp. 149-168.

A general conservative extension theorem in process algebra. / Verhoef, C.

Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994). ed. / E.R. Olderog. Amsterdam : North-Holland Publishing Company, 1994. p. 149-168 (IFIP Transactions A : Computer science and technology; Vol. 56).

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

TY - GEN

T1 - A general conservative extension theorem in process algebra

AU - Verhoef, C.

PY - 1994

Y1 - 1994

N2 - Abstract in text

AB - Abstract in text

M3 - Conference contribution

SN - 0-444-82020-5

T3 - IFIP Transactions A : Computer science and technology

SP - 149

EP - 168

BT - Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994)

A2 - Olderog, E.R.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

A general conservative extension theorem in process algebra

Abstract

Publication series

Fingerprint

Cite this