Graph isomorphism models for non interleaving process algebra

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

68 Downloads (Pure)
Original languageEnglish
Title of host publicationAlgebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994)
EditorsA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of PublicationBerlin
PublisherSpringer
Pages299-318
ISBN (Print)3-540-19909-8
Publication statusPublished - 1995

Publication series

NameWorkshops in Computing

Cite this