A characterisation of open bisimilarity using an intuitionistic modal logic
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, free names in processes are treated as variables that may be instantiated; in contrast to late bisimilarity where free names are constants. An established modal logic due to Milner, Parrow, and Walker ch...
Հիմնական հեղինակներ: | , , |
---|---|
Այլ հեղինակներ: | |
Ձևաչափ: | Journal Article |
Լեզու: | English |
Հրապարակվել է: |
2018
|
Խորագրեր: | |
Առցանց հասանելիություն: | https://hdl.handle.net/10356/89457 http://hdl.handle.net/10220/44959 |