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...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen
Այլ հեղինակներ: School of Computer Science and Engineering
Ձևաչափ: Journal Article
Լեզու:English
Հրապարակվել է: 2018
Խորագրեր:
Առցանց հասանելիություն:https://hdl.handle.net/10356/89457
http://hdl.handle.net/10220/44959