Concepedia

Undecidability of Weak Bisimilarity for PA-Processes

VBN Forskningsportal (Aalborg Universitet) · 2003 · 13 citations · 0 references

Concepts

ComputingComputer ScienceFormal MethodsTheory Of ComputationConcurrency VerificationEquivalence CheckingMarkov ProcessesBisimulationBisimulation AnalysisWeak Bisimulation