Basic theorems for parallel processes in time muCRL

J.F. Groote, J.J. Wamel, van

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

Original languageEnglish
Title of host publicationIn proceedings Workshop for Distributed Systems.
Publication statusPublished - 1999

Cite this