You are here: TUCS > PUBLICATIONS > Publication Search > Scheduling of Guarded Command ...
Scheduling of Guarded Command Based Models
Fredrik Degerlund, Scheduling of Guarded Command Based Models. TUCS Dissertations 152. 2012.
BibTeX entry:
@PHDTHESIS{phdDegerlund_Fredrik12a,
title = {Scheduling of Guarded Command Based Models},
author = {Degerlund, Fredrik},
number = {152},
series = {TUCS Dissertations},
year = {2012},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)