Traces in PC/DC

Torben Hoffmann, Michael Bruun Petersen, Hans Rischel, Michael Reichhardt Hansen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    The encoding of traces in PC/DC and how to prove properties about traces using PC/DC.
    Original languageEnglish
    Title of host publicationProc. of the 10th European Summer School in Logic Language and Information
    Place of PublicationSaarbrücken
    PublisherDFKI
    Publication date1998
    Publication statusPublished - 1998
    Event10th European Summer School in Logic, Languages and Information - Saarbrücken, Germany
    Duration: 17 Aug 199828 Aug 1998
    Conference number: 10

    Conference

    Conference10th European Summer School in Logic, Languages and Information
    Number10
    CountryGermany
    CitySaarbrücken
    Period17/08/199828/08/1998

    Cite this

    Hoffmann, T., Petersen, M. B., Rischel, H., & Hansen, M. R. (1998). Traces in PC/DC. In Proc. of the 10th European Summer School in Logic Language and Information DFKI.