Undecidability and completeness results for process algebra with alternative quantification over data

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2	Engels
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Aantal pagina's	21
Status	Gepubliceerd - 1998

Naam	CWI report. SEN-R : software engineering
Volume	9806
ISSN van geprinte versie	1386-369X

Andere bestanden en links

TY - BOOK

T1 - Undecidability and completeness results for process algebra with alternative quantification over data

AU - Groote, J.F.

AU - Luttik, S.P.

PY - 1998

Y1 - 1998

UR - http://oai.cwi.nl/oai/asset/4660/04660D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - Undecidability and completeness results for process algebra with alternative quantification over data

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -