What to Do Next? Analysing and Optimising System Behaviour in Time

A.J. Wijs

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., Supervisor
  • van de Pol, J.C., Supervisor, External person
Award date2 Oct 2007
Place of PublicationVrije Universiteit
Print ISBNs9789064641749
Publication statusPublished - 2007

Keywords

  • Model Checking
  • scheduling
  • state space searching
  • timed branching bisimilarity
  • timed process algebra

Cite this

@phdthesis{4b2024abf24d48129a5c835a5304cf61,
title = "What to Do Next?: Analysing and Optimising System Behaviour in Time",
keywords = "Model Checking, scheduling, state space searching, timed branching bisimilarity, timed process algebra",
author = "A.J. Wijs",
year = "2007",
language = "English",
isbn = "9789064641749",
series = "IPA dissertation series",
number = "13",
school = "Vrije Universiteit Amsterdam",

}

Wijs, AJ 2007, 'What to Do Next? Analysing and Optimising System Behaviour in Time', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

What to Do Next? Analysing and Optimising System Behaviour in Time. / Wijs, A.J.

Vrije Universiteit, 2007.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

TY - THES

T1 - What to Do Next?

T2 - Analysing and Optimising System Behaviour in Time

AU - Wijs, A.J.

PY - 2007

Y1 - 2007

KW - Model Checking

KW - scheduling

KW - state space searching

KW - timed branching bisimilarity

KW - timed process algebra

M3 - PhD Thesis - Research external, graduation VU

SN - 9789064641749

T3 - IPA dissertation series

CY - Vrije Universiteit

ER -

Wijs AJ. What to Do Next? Analysing and Optimising System Behaviour in Time. Vrije Universiteit, 2007. (IPA dissertation series; 13).