A general conservative extension theorem in process algebras with inequalities

P.R. d' Argenio, Chris Verhoef

Research output: Book/ReportReportOther research output

21 Downloads (Pure)
Original languageUndefined
PublisherUniversity of Twente, Department of Computer Science
Publication statusPublished - 1996

Publication series

NameMemoranda Informatica
PublisherUniversity of Twente, Department of Computer Science
No.96-17

Keywords

  • EWI-6429
  • FMT-PA: PROCESS ALGEBRAS
  • IR-66264

Cite this

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.

A general conservative extension theorem in process algebras with inequalities. / d' Argenio, P.R.; Verhoef, Chris.

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

Research output: Book/ReportReportOther 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).