Graph isomorphism models for non interleaving process algebra

J.C.M. Baeten, J.A. Bergstra

Research output: Book/ReportReportAcademic

69 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages18
Publication statusPublished - 1994

Publication series

NameComputing science notes
Volume9404

Cite this

Baeten, J. C. M., & Bergstra, J. A. (1994). Graph isomorphism models for non interleaving process algebra. (Computing science notes; Vol. 9404). Eindhoven: Technische Universiteit Eindhoven.