Model checking for pi-calculus using proof search

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

    Original languageEnglish
    Title of host publicationConcurrency Theory CONCUR 2005: 16th International Conference Proceedings
    EditorsMartin Abadi and Luca de Alfaro
    Place of PublicationNew York
    ISBN (Print)3540283099
    Publication statusPublished - 2005
    EventInternational Conference on Concurrency Theory (CONCUR 2005) - San Francisco USA
    Duration: 1 Jan 2005 → …


    ConferenceInternational Conference on Concurrency Theory (CONCUR 2005)
    Period1/01/05 → …
    OtherAugust 23-26 2005

    Cite this