A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes (Q4715674): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Joram Hirschfeld / rank
 
Normal rank
Property / author
 
Property / author: Mark R. Jerrum / rank
 
Normal rank
Property / author
 
Property / author: Faron Moller / rank
 
Normal rank

Revision as of 19:05, 13 February 2024

scientific article; zbMATH DE number 946746
Language Label Description Also known as
English
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
scientific article; zbMATH DE number 946746

    Statements

    A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes (English)
    0 references
    18 November 1996
    0 references
    0 references
    basic parallel processes
    0 references
    polynomial-time algorithm
    0 references
    bisimulation
    0 references
    0 references
    0 references
    0 references