Reference : Is timed branching bisimilarity a congruence indeed?
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/182
Is timed branching bisimilarity a congruence indeed?
English
Fokkink, W. J. [> >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Wijs, A. J. [> >]
2008
Fundamenta Informaticae
IOS Press
87
3-4
287–311
Yes (verified by ORBilu)
0169-2968
http://hdl.handle.net/10993/182

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
FI08.pdfAuthor preprint195.62 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.