Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
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
Permalien
https://hdl.handle.net/10993/50043
DOI
10.46298/lmcs-17(3:2)2021
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
Open.pdf
Postprint Éditeur (757.96 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Disciplines :
Sciences informatiques
Auteur, co-auteur :
Ahn, Ki Yung
HORNE, Ross James ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Tiu, Alwen
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Date de publication/diffusion :
2021
Titre du périodique :
Logical Methods in Computer Science
Volume/Tome :
17
Fascicule/Saison :
3
Pagination :
2:1–2:40
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
URL complémentaire :
https://lmcs.episciences.org/7685/pdf
Disponible sur ORBilu :
depuis le 26 janvier 2022

Statistiques

Nombre de vues
110 (dont 0 Unilu)
Nombre de téléchargements
34 (dont 0 Unilu)
Voir plus de statistiques
citations Scopus®
 
4
citations Scopus®
sans auto-citations
0
OpenCitations
 
1
citations OpenAlex
 
6
citations WoS™
 
4

Bibliographie

Publications similaires


Contacter ORBilu