A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle (Q2871830)

From MaRDI portal
Revision as of 04:53, 7 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
scientific article

    Statements

    title
    A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle (English)
    0 references
    author
    Jesper Bengtson
    0 references
    Joachim Parrow
    0 references
    publication date
    10 January 2014
    0 references
    zbMATH Keywords
    pi-calculus
    0 references
    theorem provers
    0 references
    Isabelle
    0 references
    bisimulation
    0 references
    axiomatization
    0 references

    Identifiers

    zbMATH DE Number
    6244359
    0 references
    OpenAlex ID
    W1967451324
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2871830&oldid=35367310"
    Powered by MediaWiki