Reference : Modal characterisation of simulation relations in probabilistic concurrent games
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/49150
Modal characterisation of simulation relations in probabilistic concurrent games
English
Zhang, Chenyi []
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Mar-2022
Science of Computer Programming
Elsevier
215
102762
Yes
International
Researchers ; Professionals
http://hdl.handle.net/10993/49150
10.1016/j.scico.2021.102762

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
SCP22.pdfAuthor preprint1.34 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.