Specification of the transit node in PSF_d

S. Mauw, F. Wiedijk

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

    Original languageEnglish
    Title of host publicationAlgebraic Methods II : Theory, Tools and Applications (Mierlo, The Netherlands, September 1989)
    EditorsJ.A. Bergstra, L.M.G. Feijs
    PublisherSpringer
    Pages341-361
    ISBN (Print)3-540-53912-3
    DOIs
    Publication statusPublished - 1991

    Publication series

    NameLecture Notes in Computer Science
    Volume490
    ISSN (Print)0302-9743

    Cite this