A general conservative extension theorem in process algebras with inequalities

P.R. d' Argenio, Chris Verhoef

Research output: Book/Report › Report › Other research output

21 Downloads (Pure)

Original language	Undefined
Publisher	University of Twente, Department of Computer Science
Publication status	Published - 1996

Name	Memoranda Informatica
Publisher	University of Twente, Department of Computer Science
No.	96-17

d' Argenio, P. R., & Verhoef, C. (1996). A general conservative extension theorem in process algebras with inequalities. (Memoranda Informatica; No. 96-17). University of Twente, Department of Computer Science.

d' Argenio, P.R. ; Verhoef, Chris. / A general conservative extension theorem in process algebras with inequalities. University of Twente, Department of Computer Science, 1996. (Memoranda Informatica; 96-17).

@book{e92838fc073e4249983c785a7d69f6c6,

title = "A general conservative extension theorem in process algebras with inequalities",

keywords = "EWI-6429, FMT-PA: PROCESS ALGEBRAS, IR-66264",

author = "{d' Argenio}, P.R. and Chris Verhoef",

year = "1996",

language = "Undefined",

series = "Memoranda Informatica",

publisher = "University of Twente, Department of Computer Science",

number = "96-17",

}

d' Argenio, PR & Verhoef, C 1996, A general conservative extension theorem in process algebras with inequalities. Memoranda Informatica, no. 96-17, University of Twente, Department of Computer Science.

University of Twente, Department of Computer Science, 1996. (Memoranda Informatica; No. 96-17).

Research output: Book/Report › Report › Other research output

TY - BOOK

T1 - A general conservative extension theorem in process algebras with inequalities

AU - d' Argenio, P.R.

AU - Verhoef, Chris

PY - 1996

Y1 - 1996

KW - EWI-6429

KW - FMT-PA: PROCESS ALGEBRAS

KW - IR-66264

M3 - Report

T3 - Memoranda Informatica

BT - A general conservative extension theorem in process algebras with inequalities

PB - University of Twente, Department of Computer Science

ER -

d' Argenio PR, Verhoef C. A general conservative extension theorem in process algebras with inequalities. University of Twente, Department of Computer Science, 1996. (Memoranda Informatica; 96-17).