Article (Périodiques scientifiques)
Is timed branching bisimilarity a congruence indeed?
Fokkink, W. J.; PANG, Jun; Wijs, A. J.
2008In Fundamenta Informaticae, 87 (3-4), p. 287–311
Peer reviewed vérifié par ORBi
 

Documents


Texte intégral
FI08.pdf
Postprint Auteur (200.31 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
Identifiants :
UNILU:UL-ARTICLE-2009-257
Auteur, co-auteur :
Fokkink, W. J.
PANG, Jun  ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Wijs, A. J.
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Is timed branching bisimilarity a congruence indeed?
Date de publication/diffusion :
2008
Titre du périodique :
Fundamenta Informaticae
ISSN :
0169-2968
Maison d'édition :
IOS Press
Volume/Tome :
87
Fascicule/Saison :
3-4
Pagination :
287–311
Peer reviewed :
Peer reviewed vérifié par ORBi
Disponible sur ORBilu :
depuis le 22 avril 2013

Statistiques


Nombre de vues
123 (dont 1 Unilu)
Nombre de téléchargements
46 (dont 0 Unilu)

citations Scopus®
 
4
citations Scopus®
sans auto-citations
2
citations WoS
 
5

Bibliographie


Publications similaires



Contacter ORBilu