Non interleaving process algebra

J.C.M. Baeten; J.A. Bergstra

Non interleaving process algebra

J.C.M. Baeten
, J.A. Bergstra

Onderzoeksoutput: Boek/rapport › Rapport › Populair

114 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Amsterdam
Uitgeverij	Universiteit van Amsterdam
Aantal pagina's	17
Status	Gepubliceerd - 1993

Publicatie series

Naam	Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam
Volume	P9326

Bibliografische nota

(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9326)

Toegang tot document

589007Definitieve gepubliceerde versie, 1,1 MB

Citeer dit

@book{fc0b4bf3851a43e085d68791cd461fe8,

title = "Non interleaving process algebra",

author = "J.C.M. Baeten and J.A. Bergstra",

note = "(Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9326)",

year = "1993",

language = "English",

series = "Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam",

publisher = "Universiteit van Amsterdam",

}

TY - BOOK

T1 - Non interleaving process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

N1 - (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam ; P9326)

PY - 1993

Y1 - 1993

M3 - Report

T3 - Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam

BT - Non interleaving process algebra

PB - Universiteit van Amsterdam

CY - Amsterdam

ER -