Some simple calculations in relative discrete time process algebra

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    28 Downloads (Pure)
    Original languageEnglish
    Title of host publicationSimplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz
    EditorsE.H.L. Aarts, H.M.M. Eikelder, ten, C. Hemerik, M. Rem
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Pages67-74
    ISBN (Print)90-386-0197-2
    Publication statusPublished - 1995

    Cite this