A ground-complete axiomatization of finite-state processes in generic process algebra

  • J.C.M. Baeten
  • , M. Bravetti

Research output: Book/Report › Report › Academic

109 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages31
Publication statusPublished - 2008

Publication series

NameComputer science reports
Volume0820
ISSN (Print)0926-4515

Access to Document

  • 636631Final published version, 241 KB

    Cite this