Formalizing programming variables in process algebra

J.C.M. Baeten, V. Bos

Research output: Book/ReportReportAcademic

40 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

Cite this