Scribd
Upload
61 views

CCS: Weak Bisimulation: Mayank Pandey Motilal Nehru National Institute of Technology, Allahabad, Uttar Pradesh, India

The document discusses weak bisimulation and some of its properties. It introduces the concept of weak bisimulation to address issues with internal actions in strong bisimulation. It defines weak transition relations and weak bisimilarity using these. It also notes that unlike strong bisimilarity, weak bisimilarity is not a congruence using an example of processes that are weakly bisimilar but their parallel compositions are not.

Uploaded by

satyendrain
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
61 views

CCS: Weak Bisimulation: Mayank Pandey Motilal Nehru National Institute of Technology, Allahabad, Uttar Pradesh, India

The document discusses weak bisimulation and some of its properties. It introduces the concept of weak bisimulation to address issues with internal actions in strong bisimulation. It defines weak transition relations and weak bisimilarity using these. It also notes that unlike strong bisimilarity, weak bisimilarity is not a congruence using an example of processes that are weakly bisimilar but their parallel compositions are not.

Uploaded by

satyendrain
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
You are on page 1/ 11

CCS: Weak Bisimulation

Mayank Pandey
Motilal Nehru National Institute of Technology,
Allahabad, Uttar Pradesh, India
MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 1
Problems with Internal Actions
 Does holds?
 Answer is NO.

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 2


Weak Transition Relation

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 3


Weak Transition Relation

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 4


Weak Bisimilarity

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 5


Weak Bisimulation Games

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 6


Weak Bisimulation : Exercise

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 7


Strong Bisimilarity is a Congruence

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 8


Weak Bisimilarity is not a Congruence

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 9


Weak Bisimilarity is not a Congruence

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 10


Weak Bisimilarity is not a Congruence

MAYANK PANDEY,MNNIT ALLAHABAD, INDIA 11

You might also like