Formalizing programming variables in process algebra

J.C.M. Baeten, V. Bos

Research output: Book/Report › Report › Academic

58 Downloads (Pure)
Original languageEnglish
Place of PublicationTurku
PublisherTurku Centre for Computer Science
Number of pages26
ISBN (Print)952-12-1094-X
Publication statusPublished - 2002

Publication series

NameTUCS Technical Report
Volume493
ISSN (Print)1239-1891

Access to Document

  • 589762Final published version, 255 KB

    Cite this