Ready trace semantiek voor procesalgebra met prioriteitsoperator

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    29 Downloads (Pure)
    Original languageDutch
    Title of host publicationStimulerende informatica : proceedings naar aanleiding van het NGI - SION Symposium 4, gehouden op 2 en 3 april 1986, Utrecht
    Place of PublicationAmsterdam
    PublisherNederlands Genootschap voor Informatica
    Pages281-292
    ISBN (Print)90-5005-007-7
    Publication statusPublished - 1986

    Publication series

    NameSIC
    VolumeC19

    Cite this