Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Publikation: Ph.d.-afhandling

325 Downloads (Pure)

Originalsprog	Engelsk
Vejledere	Mardare, Radu, Hovedvejleder Larsen, Kim Guldstrand, Bivejleder
Udgiver	Aalborg Universitetsforlag
ISBN'er, elektronisk	978-87-7210-349-5
DOI	https://doi.org/10.54337/aau300041621
Status	Udgivet - 2018

PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University
Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University

Emneord

@misc{fd83309159bc4f4eb861b264f2d6dffc,

title = "Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects",

keywords = "stokastiske systemer, semi-Markov-k{\ae}der, simulation, bisimulation, logik, model checking, realtidssystemer",

author = "Pedersen, \{Mathias Ruggaard\}",

note = "PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University",

year = "2018",

doi = "10.54337/aau300041621",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

address = "Denmark",

}

TY - GEN

T1 - Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

AU - Pedersen, Mathias Ruggaard

N1 - PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University

PY - 2018

Y1 - 2018

KW - stokastiske systemer

KW - semi-Markov-kæder

KW - simulation

KW - bisimulation

KW - logik

KW - model checking

KW - realtidssystemer

U2 - 10.54337/aau300041621

DO - 10.54337/aau300041621

M3 - PhD thesis

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -