Process algebra with signals and conditions

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

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

    84 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProgramming and mathematical method; : proceedings of the NATO Advanced Study Institute, held at Marktoberdorf, Germany, July 24-August 5, 1990 / ed. by Manfred Broy
    Place of PublicationBerlin
    PublisherSpringer
    Pages273-323
    ISBN (Print)3-540-55558-7
    Publication statusPublished - 1992

    Publication series

    NameNATO ASI series. Series F : computer and systems sciences
    Volume88

    Cite this