Syntax and semantics of procol

RA van der Goot, A (Arie) de Bruin

Research output: Chapter/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationMathematical foundations of computer science 1995
EditorsJ. Wiedermann, P. Hajek
Place of PublicationBerlijn
Number of pages10
ISBN (Print)3540602461
Publication statusPublished - 1995

Research programs

  • EUR ESE 14

Cite this