Complete axiomatisations of weak-, delay- and eta-bisimulation for process algebras with alternative quantification over data

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	10
Publication status	Published - 1999

Name	CWI report. SEN-R : software engineering
Volume	9914
ISSN (Print)	1386-369X

Cite this

TY - BOOK

T1 - Complete axiomatisations of weak-, delay- and eta-bisimulation for process algebras with alternative quantification over data

AU - Luttik, S.P.

PY - 1999

Y1 - 1999

UR - http://oai.cwi.nl/oai/asset/4535/04535D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - Complete axiomatisations of weak-, delay- and eta-bisimulation for process algebras with alternative quantification over data

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -