Formalizing programming variables in process algebra

J.C.M. Baeten, V. Bos

Onderzoeksoutput: Boek/rapport › Rapport › Academic

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

Toegang tot document

  • 589762Definitieve gepubliceerde versie, 255 KB

    Citeer dit