Psi-calculi in Isabelle (Q5890661): Difference between revisions

From MaRDI portal
← Older edit
‎Changed an Item
Import241208061232 (talk | contribs)
1,083,878 edits
Normalize DOI.
 
(14 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10817-015-9336-2 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: HOL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Archive Formal Proofs / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: CC-Pi / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Isabelle/Isar / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Isar / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Paco / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Coq / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Isabelle/HOL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: PoplMark / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Nominal Isabelle / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10817-015-9336-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1149872217 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mobile values, new names, and secure communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus for cryptographic protocols: The spi calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorem Proving in Higher Order Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Engineering formal metatheory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Types for Proofs and Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus, its syntax and semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Psi-calculi: a framework for mobile processes with nominal data and logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formalising the π-Calculus Using Nominal Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Psi-calculi in Isabelle / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\pi\)-calculus in (Co)inductive-type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal Inversion Principles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Process algebra for synchronous communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Short Presentation of Coq / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Broadcast Psi-calculi with an Application to Wireless Protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5667469 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457838 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The locally nameless representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new approach to abstract syntax with variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4365103 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating sequential processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: A New Foundation for Nominal Isabelle / rank
 
Normal rank
Property / cites work
 
Property / cites work: The power of parameterization in coinductive proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal logic, a first order theory of names and binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implementing Spi Calculus Using Nominal Techniques / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal techniques in Isabelle/HOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4248252 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of mobile processes. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher-order psi-calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Brief Overview of HOL4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Barendregt’s Variable Convention in Rule Inductions / rank
 
Normal rank
Property / cites work
 
Property / cites work: General Bindings and Alpha-Equivalence in Nominal Isabelle / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Isabelle Framework / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10817-015-9336-2 / rank
 
Normal rank

Latest revision as of 13:24, 9 December 2024

scientific article; zbMATH DE number 6585585
Language Label Description Also known as
English
Psi-calculi in Isabelle
scientific article; zbMATH DE number 6585585

    Statements

    title
    Psi-calculi in Isabelle (English)
    0 references
    author
    Jesper Bengtson
    0 references
    Joachim Parrow
    0 references
    Tjark Weber
    0 references
    publication date
    26 May 2016
    0 references
    zbMATH Keywords
    psi-calculi
    0 references
    process calculi
    0 references
    proof assistants
    0 references
    nominal logic
    0 references
    mechanisation
    0 references
    describes a project that uses
    Isabelle
    0 references
    ML
    0 references
    HOL
    0 references
    Archive Formal Proofs
    0 references
    CC-Pi
    0 references
    Isabelle/Isar
    0 references
    Isar
    0 references
    Paco
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    PoplMark
    0 references
    Nominal Isabelle
    0 references
    cites work
    Q5667469
    0 references
    Q4457838
    0 references
    Q4536373
    0 references
    Q4365103
    0 references
    Q3992568
    0 references
    Q4248252
    0 references
    Q3907077
    0 references
    The Isabelle Framework
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    03B35
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6585585
    0 references
    OpenAlex ID
    W1149872217
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5890661&oldid=38292600"
    Powered by MediaWiki