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

Mathias Ruggaard Pedersen

Research output: Book/ReportPh.D. thesisResearch

16 Downloads (Pure)
Original languageEnglish
PublisherAalborg Universitetsforlag
Number of pages264
ISBN (Electronic)978-87-7210-349-5
Publication statusPublished - 2018
SeriesPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN2446-1628

Bibliographical note

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

Cite this

Pedersen, M. R. (2018). Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Aalborg Universitetsforlag. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
Pedersen, Mathias Ruggaard. / Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Aalborg Universitetsforlag, 2018. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).
@phdthesis{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",
language = "English",
series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",

}

Pedersen, MR 2018, Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet, Aalborg Universitetsforlag.

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. / Pedersen, Mathias Ruggaard.

Aalborg Universitetsforlag, 2018. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

TY - BOOK

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

M3 - Ph.D. thesis

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

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

PB - Aalborg Universitetsforlag

ER -

Pedersen MR. Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Aalborg Universitetsforlag, 2018. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).