Modal characterisation of simulation relations in probabilistic concurrent games

Reference : Modal characterisation of simulation relations in probabilistic concurrent games


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/49150

Title :	Modal characterisation of simulation relations in probabilistic concurrent games
Language :	English
Author, co-author :	Zhang, Chenyi []
	Pang, Jun [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Publication date :	Mar-2022
Journal title :	Science of Computer Programming
Publisher :	Elsevier
Volume :	215
Pages :	102762
Peer reviewed :	Yes
Audience :	International
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/49150
DOI :	10.1016/j.scico.2021.102762

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	SCP22.pdf		Author preprint	1.34 MB	Request a copy

All documents in ORBi^lu are protected by a user license.