Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
Download
Article (Scientific journals)
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung
;
Horne, Ross James
;
Tiu, Alwen
2021
•
In
Logical Methods in Computer Science, 17
(3), p. 2:1–2:40
Peer reviewed
Permalink
https://hdl.handle.net/10993/50043
DOI
10.46298/lmcs-17(3:2)2021
Files
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
Open.pdf
Publisher postprint (757.96 kB)
Download
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Disciplines :
Computer science
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
External co-authors :
yes
Language :
English
Title :
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Publication date :
2021
Journal title :
Logical Methods in Computer Science
Volume :
17
Issue :
3
Pages :
2:1–2:40
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Additional URL :
https://lmcs.episciences.org/7685/pdf
Available on ORBilu :
since 26 January 2022
Statistics
Number of views
71 (0 by Unilu)
Number of downloads
15 (0 by Unilu)
More statistics
Scopus citations
®
3
Scopus citations
®
without self-citations
0
OpenCitations
1
WoS citations
™
2
Bibliography
Similar publications
Contact ORBilu