First-order reasoning for higher-order concurrency (Q456466): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q85 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68N18 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6098625 / rank
 
Normal rank
Property / zbMATH Keywords
 
higher-order concurrency
Property / zbMATH Keywords: higher-order concurrency / rank
 
Normal rank
Property / zbMATH Keywords
 
bisimulation
Property / zbMATH Keywords: bisimulation / rank
 
Normal rank
Property / zbMATH Keywords
 
Hennessy-Milner logic
Property / zbMATH Keywords: Hennessy-Milner logic / rank
 
Normal rank

Revision as of 11:44, 30 June 2023

scientific article
Language Label Description Also known as
English
First-order reasoning for higher-order concurrency
scientific article

    Statements

    First-order reasoning for higher-order concurrency (English)
    0 references
    25 October 2012
    0 references
    higher-order concurrency
    0 references
    bisimulation
    0 references
    Hennessy-Milner logic
    0 references

    Identifiers