Timed Traces and Strand Spaces

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science
    Volume4649
    PublisherSpringer
    Publication date2007
    Pages373-386
    Publication statusPublished - 2007

    Cite this

    Hansen, M. R., & Sharp, R. (2007). Timed Traces and Strand Spaces. In Lecture Notes in Computer Science (Vol. 4649, pp. 373-386). Springer.