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 |