Basic process algebra with iteration: completeness of its equational axioms

W.J. Fokkink, H. Zantema

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht
PublisherUnknown Publisher
Volume93-40
EditionRUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1993

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this