A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Reference : A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/50043

Title :	A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Language :	English
Author, co-author :	Ahn, Ki Yung [> >]
	Horne, Ross James [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
	Tiu, Alwen [> >]
Publication date :	2021
Journal title :	Logical Methods in Computer Science
Volume :	17
Issue/season :	3
Pages :	2:1–2:40
Peer reviewed :	Yes
Permalink :	http://hdl.handle.net/10993/50043
DOI :	10.46298/lmcs-17(3:2)2021
Other URL :	https://lmcs.episciences.org/7685/pdf

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Open.pdf		Publisher postprint	740.2 kB	View/Open

All documents in ORBi^lu are protected by a user license.