Timed process algebra: theory and applications

J.C.M. Baeten

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

    31 Downloads (Pure)
    Original languageEnglish
    Title of host publicationSpecification and semantics. Dagstuhl Seminar 8-12 July 1996 / Ed. H.-D. Ehrig, F. von Henke, J. Meseguer, M. Wirsing
    Place of PublicationWadern
    PublisherIBFI GmbH. Schloss Dagstuhl
    Pages1
    Publication statusPublished - 1996

    Publication series

    NameDagstuhl-Seminars
    Volume9628

    Cite this