Linearization in parallel pCRL

J.F. Groote, A.J. Ponse, Y.S. Usenko

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages30
Publication statusPublished - 2000

Publication series

NameCWI report. SEN-R : software engineering
Volume0019
ISSN (Print)1386-369X

Cite this