A General Cnservative Extension Theorem in Process Algebras with Inqualities

P.R. d' Argenio, C. Verhoef

Research output: Book/Report › Report › Professional

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - 1996

Keywords

@book{61d8d840ba134c65a23b222c6def0a54,

title = "A General Cnservative Extension Theorem in Process Algebras with Inqualities",

keywords = "METIS-119145",

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

note = "CTIT Technical Report Series 96-17 ",

year = "1996",

language = "Undefined",

publisher = "Centre for Telematics and Information Technology (CTIT)",

address = "Netherlands",

}

TY - BOOK

T1 - A General Cnservative Extension Theorem in Process Algebras with Inqualities

AU - d' Argenio, P.R.

AU - Verhoef, C.

N1 - CTIT Technical Report Series 96-17

PY - 1996

Y1 - 1996

KW - METIS-119145

M3 - Report

BT - A General Cnservative Extension Theorem in Process Algebras with Inqualities

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -