Formalizing programming variables in process algebra

J.C.M. Baeten, V. Bos

Onderzoeksoutput: Boek/rapportRapportAcademic

48 Downloads (Pure)
Originele taal-2Engels
Plaats van productieTurku
UitgeverijTurku Centre for Computer Science
Aantal pagina's26
ISBN van geprinte versie952-12-1094-X
StatusGepubliceerd - 2002

Publicatie series

NaamTUCS Technical Report
Volume493
ISSN van geprinte versie1239-1891

Citeer dit